Organizzatori: | Gruppo di Logica e Geometria della Cognizione
HYPOTHESES, Hypothetical Reasoning – Its Proof-Theoretic Analysis, joint French-German research project funded by ANR and DFG
|
||
Inizio: | 26/03/2015
|
||
Fine: | 28/03/2015
|
||
Dove: | Dipartimento di “Filosofia, Comunicazione, Spettacolo", Scuola di "Lettere, Filosofia, Lingue” (ex Facoltà di Lettere e Filosofia), via Ostiense 234.
|
||
Descrizione
The publication, twenty-five years ago, of the by now classical textbook "Proofs and Types" (Girard, Lafont, Taylor 1989) marked the consolidation of the tradition arising from the Curry-Howard connection between logic (natural deduction) and theoretical computer science (typed lambda calculi). Program: Thursday, 26 March, Aula Verra (ground floor) 15 :30-16 :15 Wagner de Campos Sanz (Universidade de Goiás, Brasil) 16 :15-17 :00 Giulio Guerrieri (PPS, Univ. Paris 7) 17 :00-17 :15 Coffee break 17 :15-18 :00 Jean Fichot (IHPST, Univ. Paris 1) Friday, 27 March, Aula Verra (ground floor) 9 :00-10 :15 Jean-Yves Girard (I2M, Aix-Marseille Univ.) 10 :30-13 :30 Defense of Paolo Pistone’s thesis 13 :30-15 :30 Lunch (foyer next to the Aula Magna) 15 :30-16 :15 Pierre-Louis Curien (PPS, Univ. Paris 7) 16 :15-17 :00 Jean-Baptiste Joinet (Univ. Lyon 3) 17 :00-17 :15 Coffee break 17 :15- 18 :00 Pierre Livet (Aix-Marseille Univ.) Saturday, 28 March, Aula Verra (ground floor) 9 :30-10 :15 Alain Lecomte (Univ. Paris 8) 10 :15-10 :30 Coffee break 10 :30-11 :15 Marco Pedicini (Univ. Roma Tre) 11 :15 -12 :00 Vito Michele Abrusci (Univ. Roma Tre) |
|||