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 |