The slides of the lectures and student lessons can be found here.


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


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