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
The conference will take place
here
.