17th EACSL Annual Conference on

Computer Science Logic

15th-19th September 2008,

Bertinoro, Italy

General Information
Important Dates
Call For Papers
Program Committee
Invited Speakers
Travel Information
Accepted Papers
Ackermann Award
Makowsky Symposium
The URL for submitting papers is


This will bring you to the easychair system.

The first time you use the system you will have to use the New User fields. Shortly after that a password will be emailed to you. You can use this password to access the system thereafter as a registered user.

On this page you can enter the title, authors, contact information and abstract. It can be typed in directly or pasted in with a browser. You can upload your paper (extended abstract) using the web page. Using this submission system you can manage your papers submitted to CSL 2008. You can submit new papers, resubmit previously submitted papers, or change information about authors.

Submitted papers must be in pdf format, formatted according to the Springer's LNCS style and of no more than 15 pages. They must present work not previously published and they must not be submitted concurrently to another conference with refereed proceedings. Any closely related work submitted to a conference or journal before April 2, 2007 must be reported to the PC chairs. Papers authored or coauthored by members of the Programme Committee are not allowed.

Submitted papers must be in English and provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewer's discretion.

The deadline for submitting titles and short abstracts is 11:59pm CET, Friday, March 28, 2008. Submission of a short abstract by this deadline is obligatory. The abstract will be used to make a first pass at allocating referees. The deadline for submitting extended abstracts is 11:59pm CET, Monday, April 7, 2008.

Please notice that after March 28th it will not be possible to submit new abstracts. From March 29th to April 7th uploads of papers already registered as abstracts, or new versions of such papers, will be anyway possible.