9 | : | 00 | - | 10 | : | 00 | Invited Talk: Proof Search Tree and Cut Elimination | |
Grigori Mints | ||||||||
10 | : | 00 | - | 10 | : | 30 | Coffee Break | |
10 | : | 30 | - | 11 | : | 00 | An Introduction to the Calculus of Structures | |
Alwen Tiu | ||||||||
11 | : | 00 | - | 11 | : | 30 | The Epsilon Theorems and Herbrand Complexity | |
Georg Moser and Richard Zach | ||||||||
11 | : | 30 | - | 12 | : | 00 | Fast Cut-Elimination for Intuitionistic Logic With Disjunction-Free Prenex Cuts | |
Matthias Baaz | ||||||||
12 | : | 00 | - | 14 | : | 00 | Lunch | |
14 | : | 00 | - | 15 | : | 00 | Invited Talk: Justification Logic | |
Sergei Artemov | ||||||||
15 | : | 00 | - | 15 | : | 30 | Coffee Break | |
15 | : | 30 | - | 16 | : | 00 | A Logic for Constructivity | |
Michel Parigot | ||||||||
16 | : | 00 | - | 16 | : | 30 | Quantifier Elimination for Quantified Propositional Gödel Logic | |
Norbert Preining | ||||||||
16 | : | 30 | - | 17 | : | 30 | Invited Talk: Proof Theory of Fuzzy Logics Based on T-Norms - An Overview | |
Agata Ciabattoni |