17th EACSL Annual Conference on

Computer Science Logic

15th-19th September 2008,

Bertinoro, Italy

General Information
Important Dates
Call For Papers
Submissions
Program Committee
Invited Speakers
Program
Venue
Registration
Travel Information
Accepted Papers
Ackermann Award
Makowsky Symposium
Pictures
Luca Cardelli, Microsoft Research, Cambridge
Pierre Louis Curien, PPS, Universite' Paris VII, Paris
Jean-Pierre Jouannaud, Ecole Polytechnique, Palaiseau (INRIA-Tsinghua University, Beijing from September 1st, 2008)
Wolfgang Thomas, RWTH, Aachen