Università Roma Tre
Facoltà di Lettere e Filosofia
Via Ostiense, 234
(Metro B: Marconi)
Aula Verra
| 15.00-16.20 | Claudia Faggian (Dip. Matematica Pura ed Applicata,
Univ. Padova) Ludics on graphs: recovering concurrency and proof-nets |
| 16.20-16.40 | Coffee Break |
| 16.40-18.00 | Alessio Guglielmi (Dep. of Computer Science, Tech.
Univ. Dresden) The Need for Deep Inference in Proof Theory |
| 21.00 | Social Diner |
| 9.00-10.00 | Pierre-Louis Curien (Lab. PPS, Paris 7) Duality of computation |
| 10.00-11.20 | Olivier Laurent (Lab. PPS, Paris 7) A linear analysis of classical logic and CPS-translations |
| 11.20-11.40 | Coffee Break |
| 11.40-13.00 | Luca Paolini and Simona Ronchi della Rocca
(Dip. Informatica, Univ. Torino) Lazy logical semantics |
| 13.00-15.00 | Lunch |
| 15.00-16.20 | Alexis Saurin (ENS, Paris) Separation and the lambda-mu calculus |
| 16.20-16.40 | Coffee Break |
| 16.40-18.00 | Michele Pagani (Dip. Filosofia, Univ. Roma Tre) Are the polarized proof-nets a canonical representation for proofs? |
| 18.00-19.00 | Open Discussion |
| 9.30 | Open Discussion |