Meeting on Constructive Classical Logic

Roma, April 1-2, 2004

Università Roma Tre
Facoltà di Lettere e Filosofia
Via Ostiense, 234
(Metro B: Marconi)

Aula Verra


April, 1 - Tuesday

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

April, 2 - Friday

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

April, 3 - Saturday

9.30 Open Discussion
Last modified: Apr 2004