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
Abstract submission: March 28th 2008 (expired)
Paper submission: April 7th 2008 (expired)
Notification: May 19th 2008