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
Pictures by Ugo Dal Lago