Program:
Thursday, May 21, 2015
“Aula F”
15:00-16:00 Luiz Carlos Pereira (PUC Rio de Janeiro) Translations: a view from proof-theory
16:15-17:15 Cesare Cozzo (Sapienza Univ. Roma) Dummett on inference
17:30-18.30 Arnaud Valence (Univ. Roma Tre) Dewey's Logic Revisited
20:00 Dinner
Friday, May 22, 2015
“Aula 311”
9.30-10.30 Jean Fichot (IHPST, Univ. Paris 1) Principles(s) of conservativity
10:45-11:45 Jean-Baptiste Joinet (Univ. Lyon 3) Actional processes, individuals and identity criteria
12:00-13:00 Paolo Pistone (Univ. Roma Tre & Aix-Marseille Univ.) Untyped validity: completeness through parametricity
13:15 Lunch (“Sala riunioni”)
“Aula 211”
15:00-16:00 Maël Pégny (IHPST, Univ. Paris 1) Constructivity and the Church-Turing thesis
16:15-17:15 Thomas Piecha (Univ. Tübingen) Inversion of logical rules
17:30-18:30 Peter Schroeder-Heister (Univ. Tübingen) Proof-theoretic semantics and the sequent calculus
Local organizers: V. Michele Abrusci and Paolo Pistone Further informations: http://ls.informatik.uni-tuebingen.de/bl/project.html
