Program
The slides of the lectures and student lessons can be found here.
Lecturers
Matthias Baaz, Vienna: Epsilon Calculus II
Agata Ciabattoni, Vienna: Proof Theory for Non-Classical Logics: Sequent calculi and beyond
Chris Fermüller, Vienna: Games and Analytic Proof Systems
Stefan Hetzl, Vienna: Proof Theory of Induction
Reinhard Kahle, Lisbon: Hilbert's Larger Programme
Alexander Leitsch, Vienna: Methods of Cut-Elimination
Georg Moser, Innsbruck: Epsilon Calculus I
Michel Parigot, Paris: Computational Interpretations of Formal Proofs
Schedule
| Tuesday | Wednesday | Thursday | Friday | Saturday | |
|---|---|---|---|---|---|
| 8:15-8:45 | Registration | ||||
| 9:00-10:30 | Leitsch | Leitsch | Student Session 1 | Baaz | Baaz |
| 10:30-11:00 | coffee | coffee | coffee | coffee | coffee |
| 11:00-12:30 | Moser | Moser | Student Session 2 | Fermüller | Fermüller |
| 12:30-14:00 | lunch | lunch | lunch | lunch | lunch |
| 14:00-15:30 | Kahle | Kahle | Student Session 3 | Parigot | Parigot |
| 15:30-16:00 | coffee | coffee | coffee | coffee | coffee |
| 16:00-17:30 | Hetzl | Hetzl | Student Session 4 | Ciabattoni | Ciabattoni |
Student Lessons
Student Session 1
Anela Lolic: Proof normalization and expansion proofs
Apostolos Tzimoulis: First-order logic properly displayed
Juan P. Aguilera: Proofs on systems with unsound rules
Student Session 2
Paulo Guilherme Santos: Diagonalization
Marielle Rietdijk: An implementation of modified realizability
Pedro Pinto: A quantitative analysis of a theorem by F.E.Browder guided by the bounded functional interpretation
Student Session 3
Timo Lang: The cut rule in game semantics
Tim Lyon: Translations between internal and external modal calculi
Frederik Möllerström Lauridsen: Classifying non-classical logics with "good" proof calculi
Student Session 4
Serena Delli: Graphical proof for MLL+Mix
Francesca Gulisano: Standard completeness for extensions of Evolutive Monoidal T-norm Logic