(Click on the titles for corresponding abstracts)
| 12.30 | - | 14.00 | LUNCH - (in the Hyatt, paid for the listed participants) | |
| 14.00 | - | 14.40 | Invited Talk: Cut elimination and Orevkov's speed up result in strange surroundings |
|
| Norbert Preining | ||||
| 14.40 | -15.05 | Cut-free and normalised logic of proofs | ||
| Francesca Poggiolesi (joint work with Brian Hill) | ||||
| 15.05 | - | 15.30 | Path breaking and analyticity in proof nets | |
| Richard McKinley | ||||
| 15.30 | - | 16.00 | COFFEE BREAK | |
| 16.00 | - | 16.25 | Basis of Admissible Rules in the Implication-Negation Fragment of Super-Intuitionistic Logics | |
| Petr Cintula (joint work with George Metcalfe) | ||||
| 16.25 | - | 16.50 | Can we transform formal proofs into interesting mathematical objects? | |
| Michel Parigot | ||||
| 16.50 | - | 17.15 | On the Structure of Herbrand-Disjunctions | |
| Stefan Hetzl | ||||
| 17.15 | - | 17.40 | Fast Cut-Elimination for LJ | |
| Matthias Baaz (joint work with Michel Parigot) | ||||