Programme
All invited talks and tutorials will be held in Aula
F.Barone;
Group 1 and group 2 contributed talks in Aula 1 and Aula 2, respectively
14.30-15.00 Registration and welcome
15.00-16.00 Hermann Jervell: Cut elimination (Chair: Enrico Moriconi)
16.00-16.30 Contributed papers:
1. Nissim Francez: Relevant Harmony (Chair: Alex Simpson)
2. Björn Lellmann: Constructing Cut-free Sequent Systems with Context Restrictions (Chair: Kosta Dosen)
16.30-16.45 Coffee Break
16.45-18.45 Contributed papers:
1. Chair: Alex Simpson
Tadeusz Litak: Extended Curry-Howard correspondence for constructive Loeb logics
Luca Bellotti (joint work with Lorenzo Carlucci): Von Neumann's consistency proof
Franco Parlamento (joint work with Flavio Previale): The subterm property for the sequent calculus with equality
Luis Pinto: Monadic translation of classical and intuitionistic sequent calculus
2. Chair: Kosta Dosen
Michael Arndt (joint work with Laura Tesconi): Explicit Composition
Vincent Degauquier: Cut-elimination, Excluded Middle and Non-contradiction
Bogdan Dicher: Sequent calculus, bilateralism and logical consequence
Antonino Drago: Proof theory in the case of a change in the kind of logic. The crucial role played by Leibniz' principle of sufficient reason
8.45-10.15 Sara Negri: Proof Systems for Modal and Epistemic Logics I
10.15-10.30 Coffee Break
10.30-11.30 Kosta Dozen: The Main Question of General Proof Theory (Chair: Jan von Plato)
11.30-13.00 George Metcalfe: Admissible Rules in Logic and Algebra I
13.00-15.00 Lunch break
15.00-16.30 Contributed papers:
1. Chair: Arnon Avron
Dale Miller: Describing canonical proof structures by abstracting sequent calculus proofs
José Espírito Santo: Intuitionistic asymmetry: how the classical CBN/CBV duality breaks
Roman Krenick: A 2-Categorical Notion of Proof Equality
2. Chair: Hermann Jervell
Jeroen Goudsmit: Admissible Rules of Gabbay-de Jongh Logics
Diego Valota: Building Strongest Deductive Interpolants in Nilpotent Minimum Logic
Rosalie Iemhoff: Unification in modal and intermediate logics
16.30-16.45 Coffee Break
16.45-17.45 Simone Martini: Implicit Computational Complexity and the quest for intensional completeness (Chair: Andrea Cantini)
17.45-18.45 Contributed papers:
1. Chair: Arnon Avron
Yoichi Hirai: A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom
2. Chair: Hermann Jervell
Pierluigi Minari: Variations on G3K
Dirk Pattinson: Labelled Sequent Calculi for Many-Valued Modal Logics
8.45-10.15 Sara Negri: Proof Systems for Modal and Epistemic Logics II
10.15-10.30 Coffee Break
10.30-11.30 Arnon Avron: Construction of Cut-free Sequent Calculi for Paraconsistent Logics (Chair: Jan von Plato)
11.30-13.00 George Metcalfe: Admissible Rules in Logic and Algebra II
13.00-15.00 Lunch break
15.00-16.30 Contributed papers:
1. Chair: Simone Martini
Anna Zamansky (joint work with Matthias Baaz and Ori Lahav): Effective Finite-valued Semantics for Labelled Calculi
Carlo Proietti: Non-classical Modal Logics and tableau testing
Jens Ulrik Hansen: Tableau systems for Hybrid public announcement logic with distributed knowledge
2. Chair: George Metcalfe
Allard Tamminga (joint work with Barteld Kooi): Correspondence Theory for the Logic of Paradox
Luca Tranchini: Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
Jesse Alama: Experiments with obvious inferences in formal proofs
16.30-16.45 Coffee Break
16.45-17.45 Alex Simpson: Proof systems for intuitionistic modal logics revisited (Chair: Sara Negri)
17.45-18.15 Contributed papers:
1. Chair: Simone Martini
Agata Ciabattoni (joint work with Matthias Baaz): Proof theory for non-classical logics: a negative result
2. Chair: George Metcalfe
Giselle Reis (joint work with Vivek Nigam and Elaine Pimentel): An Extended Framework for Specifying and Reasoning about Proof Systems
20.00 Social dinner
9.00-10.30 Sara Negri: Proof Systems for Modal and Epistemic Logics III
10.30-10.45 Coffee Break
10.45-11.30 Jan von Plato: The interpretation of cuts in natural deduction (Chair: Enrico Moriconi)
11.30-13.00 George Metcalfe: Admissible Rules in Logic and Algebra III