(Click on the titles for corresponding abstracts)
| 12 | : | 30 | - | 13 | : | 15 | Invited Talk: Kripke Frames, Gödel Logics, and beyond |
|
| Norbert Preining | ||||||||
| 13 | : | 15 | - | 13 | : | 40 | On the Secrecy of Proofs | |
| Helmut Veith | ||||||||
| 13 | : | 40 | - | 14 | : | 05 | Decidability and undecidability of the extendability of partial proof descriptions | |
| Matthias Baaz | ||||||||
| 14 | : | 05 | - | 14 | : | 30 | Coffe Break | |
| 14 | : | 30 | - | 15 | : | 15 | Invited Talk: Analytic systems for the epsilon calculus |
|
| Richard Zach | ||||||||
| 15 | : | 15 | - | 15 | : | 40 | Interpreting interval based fuzzy logics | |
| Chris Fermüller | ||||||||
| 15 | : | 40 | - | 16 | : | 05 | On the formalzation of constructivity | |
| Michel Parigot | ||||||||