PSC PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th

View this program: with abstracts session overview talk overview side by side with other conferences

09:15-10:15 Session 65D: Invited Talk by Martín Escardó: Excluded Middle Considered as a Mathematical Problem

Chair: Peter Schuster

Location: FH, CAD 1

09:15

Martin Escardo

Excluded Middle Considered as a Mathematical Problem (Invited Talk) (abstract)

10:15-10:45Coffee Break

10:45-12:15 Session 66AU: Contributed Talks: Completeness and Computation

Chair: Peter Schuster

Location: FH, CAD 1

10:45	Christian Espindola and Henrik Forssell Constructive completeness and exploding models (abstract)
11:30	Hugo Herbelin and Danko Ilik Computing with Gödel’s completeness theorem (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 75AV: Contributed Talks: Calculus and Termination

Chair: Dieter Probst

Location: FH, CAD 1

14:30	Herman Geuvers A typed lambda-calculus with call-by-name and call-by-value iteration (abstract)
15:15	Stefano Berardi, Paulo Oliva and Silvia Steila Effective Bounds on the Podelski-Rybalchenko Termination Theorem (abstract)

16:00-16:30Coffee Break

16:30-19:00 Session 79A: VSL Joint Award Ceremony 1

Chair: Matthias Baaz

Location: MB, Kuppelsaal

16:30	Kurt Gödel Research Prize Fellowships Program Foundations and Technology Competitions Award Ceremony (abstract)
17:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 1 (abstract)
18:15	Helmut Veith FLoC Closing Week 1 (abstract)

16:30-18:00 Session 80L: Contributed Talks: Observation and Justification

Chair: Ana Sokolova

Location: FH, CAD 1

16:30	Henning Basold and Helle Hvid Hansen Observational Equivalence for Behavioural Differential Equations (abstract)
17:15	Tatiana Yavorskaya and Nadezhda Ruhlyadko Multi-agent justification logic (abstract)

21:00-23:59 Session 89: VSL Student Reception 1

Location: Transporter

Friday, July 18th

View this program: with abstracts session overview talk overview side by side with other conferences

09:15-10:15 Session 88G: Invited Talk by Ulrich Berger (joint work with Tie Hou): Program Extraction in Church's Simple Theory of Types

Chair: Dirk Pattinson

Location: FH, CAD 1

09:15

Ulrich Berger and Tie Hou

Program extraction in Church's simple theory of types (invited talk) (abstract)

10:15-10:45Coffee Break

10:45-12:15 Session 90AX: Contributed Talks: Extracting Parsers and Ancestral Logic

Chair: Dirk Pattinson

Location: FH, CAD 1

10:45	Ulrich Berger, Alison Jones and Monika Seisenberger Extracting Monadic Parsers from Proofs (abstract)
11:30	Liron Cohen and Robert Constable Intuitionistic Ancestral Logic (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 96AX: Contributed Talks: Proof Search and Proof Relevance

Chair: Björn Lellmann

Location: FH, CAD 1

14:30	Mauro Ferrari and Camillo Fiorentini Proof-search in natural deduction calculi for IPL (abstract)
15:15	Sergey Melikhov A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic (abstract)

16:00-16:30Coffee Break