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 - 18h00Registration (Coffee and snacks)
18h00 - 18h15Peter Schroeder-Heister: Opening
18h15 - 19h15Luiz Carlos Pereira: TBA
20h00 Conference Dinner (Restaurant Museum)


Saturday, 28 November 2015

9h00 - 10h00Per Martin-Löf: The two interpretations of natural deduction: how do they fit together?
10h00 - 10h30Federico Aschieri: On Classical Natural Deduction: Reduction Rules, Strong Normalization, Herbrand's Theorem
10h30 - 11h00Coffee break
11h00 - 11h30Giulio Guerrieri & Alberto Naibo: Postponement of RAA and a new form of Glivenko's theorem
11h30 - 12h00Norbert Gratzl & Eugenio Orlandelli: Harmony, Logicality, and Double-line Rules
12h00 - 14h30Lunch (tables reserved at "Wirtshaus Lichtenstein")
14h30 - 15h30Kosta Došen: Adjunction and Normalization in Categories of Logic
15h30 - 16h00Clayton Peterson: Monoidal logics: De Morgan negations and classical systems
16h00 - 16h30Coffee break
16h30 - 17h00Zoran Petrić: The natural deduction normal form and coherence
17h00 - 18h00Helmut Schwichtenberg: Decorating natural deduction
19h00 Dinner (tables reserved at "La Cantinella")


Sunday, 29 November 2015

9h00 - 10h00Heinrich Wansing: A more general general proof theory
10h00 - 10h30Reinhard Kahle: Is there a "Hilbert thesis"?
10h30 - 11h00Coffee break
11h00 - 11h30Nissim Francez: On distinguishing proof-theoretic consequence from derivability
11h30 - 12h00Danko Ilik: High-school sequent calculus and an intuitionistic formula hierarchy preserving identity of proofs
12h00 - 14h30Lunch (tables reserved at "Weinstube Forelle")
14h30 - 15h00Angeliki Koutsoukou-Argyraki: New Applications of Proof Mining to Nonlinear Analysis
15h00 - 15h30Mario Piazza & Gabriele Pulcini: On the maximality of classical logic
15h30 - 16h00Roy Dyckhoff: Idempotent coherentisation for first-order logic
16h00 - 16h30Coffee break
16h30 - 17h30Dag Prawitz: TBA