Conference Schedule
The conference starts on Friday, 27 November at 18h00 (registration begins at 17h) and ends on Sunday, 29 November at 18h00.
- Invited talks are 60min, including 15min for discussion.
- Contributed talks are 30min, including 10min for discussion.
Friday, 27 November 2015
| 17h00 - 18h00 | Registration (Coffee and snacks) |
| 18h00 - 18h15 | Peter Schroeder-Heister: Opening |
| 18h15 - 19h15 | Luiz Carlos Pereira: The Russell-Prawitz translation and schematic rules: a view from proof-theory |
| 20h00 | Conference Dinner (Restaurant Museum) |
Saturday, 28 November 2015
| Chair: Helmut Schwichtenberg | |
| 9h00 - 10h00 | Per Martin-Löf: The two interpretations of natural deduction: how do they fit together? |
| 10h00 - 10h30 | Federico Aschieri: On Classical Natural Deduction: Reduction Rules, Strong Normalization, Herbrand's Theorem |
| 10h30 - 11h00 | Coffee break |
| 11h00 - 11h30 | Giulio Guerrieri & Alberto Naibo: Postponement of RAA and Glivenko's theorem, revisited |
| 11h30 - 12h00 | Eugenio Orlandelli: Harmony, Logicality, and Double-line Rules |
| 12h00 - 14h30 | Lunch (tables reserved at "Wirtshaus Lichtenstein") |
| Chair: Heinrich Wansing | |
| 14h30 - 15h30 | Kosta Došen: Adjunction and Normalization in Categories of Logic |
| 15h30 - 16h00 | Clayton Peterson: Monoidal logics: De Morgan negations and classical systems |
| 16h00 - 16h30 | Coffee break |
| 16h30 - 17h00 | Zoran Petrić: The natural deduction normal form and coherence |
| 17h00 - 18h00 | Helmut Schwichtenberg: Decorating natural deduction |
| 19h00 | Dinner (tables reserved at "La Cantinella") |
Sunday, 29 November 2015
| Chair: Alberto Naibo | |
| 9h00 - 10h00 | Heinrich Wansing: A more general general proof theory |
| 10h00 - 10h30 | Reinhard Kahle: Is there a "Hilbert thesis"? |
| 10h30 - 11h00 | Coffee break |
| Chair: Mattia Petrolo | |
| 11h00 - 11h30 | Nissim Francez: On distinguishing proof-theoretic consequence from derivability |
| 11h30 - 12h00 | Danko Ilik: High-school sequent calculus and an intuitionistic formula hierarchy preserving identity of proofs |
| 12h00 - 14h30 | Lunch (tables reserved at "Weinstube Forelle") |
| Chair: Luiz Carlos Pereira | |
| 14h30 - 15h00 | Angeliki Koutsoukou-Argyraki: New Applications of Proof Mining to Nonlinear Analysis |
| 15h00 - 15h30 | Mario Piazza & Gabriele Pulcini: On the maximality of classical logic |
| 15h30 - 16h00 | Roy Dyckhoff: Idempotent coherentisation for first-order logic |
| 16h00 - 16h30 | Coffee break |
| 16h30 - 17h30 | Dag Prawitz: Gentzen's justification of inferences |