Conference Schedule
The conference starts on Wednesday, 27 March at 9h30 (registration begins at 9h) and ends on Saturday, 30 March at 15h00.
- Plenary talks are 45min, including 10min for discussion.
- Contributed talks are 30min, including 10min for discussion.
The conference dinner takes place on Thursday, 28 March at 19h30 at the Restaurant Museum, Wilhelmstraße 3.
For the lunch breaks on Wednesday, Thursday and Friday (12h30-14h15) we have made reservations at Mensa Prinz Karl, Hafengasse 6. On Saturday there is lunch at the Alte Aula at 13h30.
| Wednesday 27 March | ||
| Festsaal | Seminarraum 605 | |
| 09:00-09:30 | Registration | — |
| 09:30-09:45 | Opening | — |
| 09:45-10:30 | Reinhard Kahle: Paradoxes, Intuitionism, and Proof-Theoretic Semantics | — |
| 10:30-11:00 | Coffee break | |
| 11:00-11:45 | Heinrich Wansing: Synonymy in proof-theoretic semantics | — |
| 11:45-12:30 | Francesca Poggiolesi: Moving the first steps towards the study of proofs-why | — |
| 12:30-14:15 | Lunch break (Prinz Karl) | |
| 14:15-14:45 | René Gazzari: The Calculus of Natural Calculation | Sara Ayhan: The meaning of proofs in different proof systems |
| 14:45-15:15 | Wagner de Campos Sanz: Hypo: a simple constructive semantics for Intuitionistic Sentential Logic, soundness and completeness | — |
| 15:15-15:45 | Bogdan Dicher & Francesco Paoli: The original sin of proof-theoretic semantics | Hermógenes Oliveira: Adequacy for a proof-theoretic semantics based on elimination rules |
| 15:45-16:15 | Coffee break | |
| 16:15-17:00 | Luiz Carlos Pereira: On Prawitz’ Ecumenical system | — |
| 17:00-17:45 | Dag Prawitz: Validity of inference reconsidered | — |
| Thursday 28 March | ||
| Festsaal | Seminarraum 605 | |
| 09:00-09:45 | Per Martin-Löf: Logic and Ethics | — |
| 09:45-10:30 | Göran Sundholm: Validity | — |
| 10:30-11:00 | Coffee break | |
| 11:00-11:30 | Mario Piazza & Gabriele Pulcini: A New Approach to Proof-Theoretic Semantics for Classical Logic | Zhaohui Luo: Formal Semantics in Modern Type Theories: An Overview |
| 11:30-12:00 | Thomas Piecha: Abstract semantic conditions and the incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics | Peter Schuster: The Jacobson radical and Glivenko's Theorem |
| 12:00-12:30 | Will Stafford: Inquisitive and proof theoretic semantics | Marianna Girlando & Nicola Olivetti: Nested sequents for Lewis’ counterfactual logics |
| 12:30-14:15 | Lunch break (Prinz Karl) | |
| Session in memoriam Roy Dyckhoff | ||
| 14:15-15:00 | Nissim Francez: Proof-Theoretic Semantics for natural language | — |
| 15:00-15:45 | Sara Negri: Geometric rules in infinitary logic | — |
| 15:45-16:15 | Coffee break | |
| 16:15-17:00 | David Pym: Reductive logic and proof-theoretic semantics | — |
| 17:00-17:45 | Peter Schroeder-Heister: Some open problems in proof-theoretic semantics | — |
| 19:30 | Conference dinner (Restaurant Museum) | |
| Friday 29 March | ||
| Festsaal | Seminarraum 605 | |
| 09:00-09:45 | Dale Miller: Applying a linear logic perspective to arithmetic | — |
| 09:45-10:30 | Valeria de Paiva: Going Without: a linear modality and its role | — |
| 10:30-11:00 | Coffee break | |
| 11:00-11:30 | Mattia Petrolo: Proof-Theoretic Semantics and Paradoxical Languages | Michael Arndt: The Role of Structural Reasoning in the Genesis of Graph Theory |
| 11:30-12:00 | Tor Sandqvist: Preservation of Structural Properties in Intuitionistic Extensions of an Inference Relation | Constantin C. Brîncuș: Are the Open-Ended Rules for Negation Categorical? |
| 12:00-12:30 | Hidenori Kurokawa & Alberto Naibo: Stability in Sequent Calculus | Matteo Acclavio & Lutz Straßburger: From Syntactic Proofs to Combinatorial Proofs |
| 12:30-14:15 | Lunch break (Prinz Karl) | |
| 14:15-14:45 | Ansten Mørch Klev: The Logic and Harmony of Identity | Kai Tanter: An Inferentialist Semantics for Atomics, Predicates, and Names |
| 14:45-15:15 | Yoshihiro Maruyama: Harmony, Higher-Order Rules, and the Curry-Howard-Lambek Correspondence | Bartosz Więckowski: Modes of Assumptions and Moods of Implications |
| 15:15-15:45 | Paolo Pistone & Luca Tranchini: The calculus of higher-level rules in modern dress | Ernst Zimmermann: Proof-theoretic Semantics for Natural Deduction based on Inversion |
| 15:45-16:15 | Coffee break | |
| Session in memoriam Kosta Došen | 16:15-17:00 | Phil Scott: Equality of Proofs | — |
| 17:00-17:45 | Greg Restall: Isomorphisms in a Category of Proofs | — |
| Saturday 30 March | ||
| Festsaal | Seminarraum 605 | |
| 09:00-09:45 | Marie Duží: Natural language processing by natural deduction | — |
| 09:45-10:30 | Andrzej Indrzejczak: Proof-Theoretic Approach to Definite Descriptions | — |
| 10:30-11:00 | Coffee break | |
| 11:00-11:30 | Edward Hermann Haeusler & Lew Gordeev: Huge proofs, redundant proofs and some reasons in favor of NP=PSPACE | Clément Lion: A dialogical reconstruction of Brouwer's creating subject? |
| 11:30-12:00 | Andrei Rodin: Extra-logical proof-theoretic semantics in HoTT | Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli: Interpolation in extensions of first-order logic |
| 12:00-12:45 | Vito Michele Abrusci: Proof-nets: tools for studying equivalence between proofs and proof-theoretic semantics | — |
| 12:45-13:30 | Gerhard Jäger: Predicative Hierarchies | — |
| 13:30 | Lunch (Alte Aula) | |