Meetings

2006/01/19 -- 2005/01/20. Annual Project's Meeting.
Location: SCUOLA di APPLICAZIONE,  Via Arsenale 22 - Torino (5 minuti a piedi dall'Hotel Bologna)

Participants to the Annual Project's Meeting:
Murdoch Gabbay (London), Romain Pechoux (LORIA-Nancy), Solitro Ugo (Verona), Ugo Dal Lago (Bologna), Simone Martini (Bologna), Stefano Guerrini (Roma), Fabio Alessi (Udine), Andrea Masini (Verona), Margherita Zorzi (Verona), Michele Abrusci (Roma), Roberto Maieli (Roma), Marco Pedicini (Roma), Mario Piazza (Roma), Paolo Di Giamberardino (Roma), Paolo Tranquilli (Roma), Damiano Mazza (Roma), Antonino Salibra (Venezia), Giulio Manzonetto (Venezia), Simona Ronchi Della Rocca (Torino), Luca Fossati (Torino), Marco Gaboardi (Torino), Luca Paolini (Torino), Ruggero Pagnan (Genova), Ugo de Liguoro (Torino), Felice Cardone (Milano), Gabriele Lolli (Torino), Mario Coppo (Torino).

2006/01/18. Workshop on Implicit Computational Complexity.

Full Participant-List:
Romain Pechoux (LORIA-Nancy), Ugo Dal Lago (Bologna), Simone Martini (Bologna), Michele Abrusci (Roma), Lorenzo Tortora de Falco (Roma), Roberto Maieli (Roma), Marco Pedicini (Roma), Mario Piazza (Roma), Paolo Di Giamberardino (Roma), Paolo Tranquilli (Roma), Damiano Mazza (Roma), Giulio Manzonetto (Venezia), Simona Ronchi Della Rocca (Torino), Luca Fossati (Torino), Marco Gaboardi (Torino), Luca Paolini (Torino).

2005/05/30 -- 2005/05/31, Informal workshop "Geometria e strutture nelle prove e nei programmi". Aula Verra Facoltà di Lettere e Filosofia, Università Roma Tre, Via Ostiense, 236.

Foreing participants: Joinet Jean-Baptiste (Paris 1).

Project fellows participants: Pedicini Marco (Roma), Maieli Roberto (Roma), Mazza Damiano (Roma), Abrusci Michele (Roma), Tortora de Falco Lorenzo (Roma), Di Giamberardino Paolo (Roma), Medaglia Maria Teresa (Roma), Guerrini Stefano (Roma), Pagani Michele (Roma), Piperno Adolfo (Roma), Salibra Nino (Venezia), Dal Lago Ugo Bologna, Alessi Fabio (Udine), Coppola Paolo (Udine), Roversi Luca (Torino), Paolini Luca (Torino), Fossati Luca (Torino), Gaboardi Marco (Torino), Ronchi della Rocca Simona (Torino), Faggian Claudia (Padova), Solitro Ugo (Verona).

2005/03/09 -- 2005/02/10, Dipartimento di Informatica, Bologna. Informal workshop on complexity and structural proof-theory.

Foreign guests: Patrick Baillot (Paris XIII), Kazushige Terui (NII, Tokyo).

Foreign participants: Daniel De Carvalho, Roy Dyckhoff (St. Andrews).

Project fellows participants: Paolo Coppola (Udine), Ugo Dal Lago (Bologna), Stefano Guerrini (Roma), Simone Martini (Bologna), Luca Paolini (Torino), Marco Pedicini (Roma), Simona Ronchi Della Rocca (Torino), Luca Roversi (Torino).

2005/02/10 -- 2005/02/13, Pisa. Kick-off meeting as a satellite event of XXII incontro AILA.

Abrusci, Dal Lago, Guerrini, Maieli, Martini, Pagani, Pedicini, Ronchi Della Rocca, Roversi and Tortora gave a talk as part of XXII incontro AILA: Programme.