PSC 2014 ABSTRACTS

Editors: Peter Schuster, Dirk Pattinson and Ana Sokolova

Authors	Title	Talk
Ulrich Berger and Tie Hou	Program extraction in Church's simple theory of types (invited talk)	Jul 18 09:15
Henning Basold and Helle Hvid Hansen	Observational Equivalence for Behavioural Differential Equations	Jul 17 16:30
Stefano Berardi, Paulo Oliva and Silvia Steila	Effective Bounds on the Podelski-Rybalchenko Termination Theorem	Jul 17 15:15
Ulrich Berger, Alison Jones and Monika Seisenberger	Extracting Monadic Parsers from Proofs	Jul 18 10:45
Liron Cohen and Robert Constable	Intuitionistic Ancestral Logic	Jul 18 11:30
Christian Espindola and Henrik Forssell	Constructive completeness and exploding models	Jul 17 10:45
Mauro Ferrari and Camillo Fiorentini	Proof-search in natural deduction calculi for IPL	Jul 18 14:30
Herman Geuvers	A typed lambda-calculus with call-by-name and call-by-value iteration	Jul 17 14:30
Hugo Herbelin and Danko Ilik	Computing with Gödel’s completeness theorem	Jul 17 11:30
Sergey Melikhov	A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic	Jul 18 15:15
Tatiana Yavorskaya and Nadezhda Ruhlyadko	Multi-agent justification logic	Jul 17 17:15