Meetings and Workshops (ProToCoLLo)

Final Workshop: 15-17 September 2004, Torino

followed by a Track-Meeting on Semantics: 17-18 September

	Conference addresses:
`Wednesday 15 September 2004`	`Aula Magna del Rettorato -- Via Verdi 8`
`Thursday 16 September 2004`	`Aula Magna di Biologia (Ex Caserma Podgora) -- Via Accademia Albertina 13`
`Friday 17 September 2004`	`Aula Magna di Biologia (Ex Caserma Podgora) -- Via Accademia Albertina 13`

RESTAURANT LIST and HOTELS in Torino: Updated (OLD Recommended)

Map of TORINO in PDF (with bus lines).
Note that in Acrobat-Reader you can find a site simply by enlarging it to 400% and then, by searching its name (CTRL+F).

Invited Speakers (Title and Abstract of Talks)

Program and Participants

Informations on the Track-Meeting on Semantics

Meeting on Logic and Complexity: 28-29 June 2004, Torino

Program and Others Informations

Meeting on Constructive Classical Logic: 1-2 April 2004, Roma

Program and Partecipants (Hotels in Rome)

Annual Workshop: 18-19 December 2003, Verona (Program in PDF)

Rapporto sull'attivita dell'area COMPLESSITA', L. Roversi
Higher Order Linear Ramified Recurrence, U. Dal Lago
Computability with real numbers and light linear logic, M. Pedicini

Rapporto sull'attivita dell'area PROOF THEORY, S. Guerrini
Nets, concurrency and types?, U. Solitro
Dual intuitionistic logic "pragmatically polarized", G. Bellin
Modules and concurrent systems, R. Maieli
Typed Boehm theorem: a proof without models, M. Pagani
Intersection Synchronous Logic, E. Pimentel

Rapporto sull'attivita dell'area SEMANTICA, L. Tortora de Falco
Extracting Feasible Programs, J.-L. Marion
Cyclic linear logic in the calculus of structures, P. Di Gianantonio
Stable Semantics Of PCF and Full Abstraction, L. Paolini

Meeting on Logic and Complexity: 15-16 October 2003, Bertinoro

Program and details (PDF)

Initial Workshop: 10-11 February 2002, Roma (Program in PDF)

La Logica Lineare e il suo sviluppo in Italia , S. Ronchi Della Rocca (Torino)
Dimostrazioni formali e dimostrazioni matematiche, A. Asperti (Bologna)
Dimostrazioni e Programmi come Oggetti Geometrici , S. Martini (Bologna)
Sintassi e semantica: una dualità monista, V. M. Abrusci (Roma)
Dimostrazioni e modalità, A. Masini (Verona)
Strumenti di supporto alla dimostrazione interattiva, A. Asperti (Bologna)
Proof Nets, Optimal Reduction, Complexity Bounded Logics , P. Coppola (Udine)
Game Semantics for Lambda-Calculi, P. Di Gianantonio (Udine)
Ludics: dynamics and interactive observability, C. Faggian (Cambridge)
Proof-nets and experiments, L. Tortora de Falco (Roma)
Modules in linear logic, R. Maieli (Roma)
On the number of provable formulas, M. Pedicini (Roma)
Algebraic methods for cut-elimination, G. Mascari (Roma)
Linear Logic is a modal logic over Classical Logic, A. Ursini (Roma)
Light Linear Logic and Programming Languages, L. Roversi (Torino)
Intersection Logic, S. Ronchi Della Rocca (Torino) and L.Roversi (Torino)
Il progetto di ricerca, le valutazioni ricevute e la sua valutazione scientifica, S. Ronchi Della Rocca (Torino)
Some problems of the proof theory of linear logic and ludics, S. Guerrini (Roma)
Perspectives and Open Problems ,M. Lenisa (Udine)
Linear Logic and Polytime , L. Roversi (Torino)
Paths, from Levy s labels to Geometry of Interaction: a retrospective and a few remarks , P.-L. Curien (Paris)
Algorithmic Game Semantics and Software Model Checking , L. Ong (Oxford)
An arithmetic for polynomial-time computation , H. Schwichtenberg (Munchen)

Last modified: April 2004