VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Basold, Henning	Observational Equivalence for Behavioural Differential Equations
Berardi, Stefano	Effective Bounds on the Podelski-Rybalchenko Termination Theorem
Berger, Ulrich	Program extraction in Church's simple theory of types (invited talk) Extracting Monadic Parsers from Proofs
C
Cohen, Liron	Intuitionistic Ancestral Logic
Constable, Robert	Intuitionistic Ancestral Logic
E
Escardo, Martin	Excluded Middle Considered as a Mathematical Problem (Invited Talk)
Espindola, Christian	Constructive completeness and exploding models
F
Ferrari, Mauro	Proof-search in natural deduction calculi for IPL
Fiorentini, Camillo	Proof-search in natural deduction calculi for IPL
Forssell, Henrik	Constructive completeness and exploding models
G
Geuvers, Herman	A typed lambda-calculus with call-by-name and call-by-value iteration
H
Hansen, Helle Hvid	Observational Equivalence for Behavioural Differential Equations
Herbelin, Hugo	Computing with Gödel’s completeness theorem
Hou, Tie	Program extraction in Church's simple theory of types (invited talk)
I
Ilik, Danko	Computing with Gödel’s completeness theorem
J
Jones, Alison	Extracting Monadic Parsers from Proofs
M
Melikhov, Sergey	A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic
O
Oliva, Paulo	Effective Bounds on the Podelski-Rybalchenko Termination Theorem
R
Ruhlyadko, Nadezhda	Multi-agent justification logic
S
Seisenberger, Monika	Extracting Monadic Parsers from Proofs
Steila, Silvia	Effective Bounds on the Podelski-Rybalchenko Termination Theorem
Y
Yavorskaya, Tatiana	Multi-agent justification logic

Disclaimer | Powered by EasyChair Smart Program