PSC PROGRAM
Days: Thursday, July 17th Friday, July 18th
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside 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:
Location: FH, CAD 1
| 09:15 | 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:
Location: FH, CAD 1
| 10:45 | Constructive completeness and exploding models (abstract) |
| 11:30 | 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:
Location: FH, CAD 1
| 14:30 | A typed lambda-calculus with call-by-name and call-by-value iteration (abstract) |
| 15:15 | 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:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-18:00 Session 80L: Contributed Talks: Observation and Justification
Chair:
Location: FH, CAD 1
| 16:30 | Observational Equivalence for Behavioural Differential Equations (abstract) |
| 17:15 | Multi-agent justification logic (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside 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:
Location: FH, CAD 1
| 09:15 | Program extraction in Church's simple theory of types (invited talk) (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:15 Session 90AX: Contributed Talks: Extracting Parsers and Ancestral Logic
Chair:
Location: FH, CAD 1
| 10:45 | Extracting Monadic Parsers from Proofs (abstract) |
| 11:30 | Intuitionistic Ancestral Logic (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 96AX: Contributed Talks: Proof Search and Proof Relevance
Chair:
Location: FH, CAD 1
| 14:30 | Proof-search in natural deduction calculi for IPL (abstract) |
| 15:15 | 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