CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal


Submission is closed!

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 2009. 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 April62, 2009 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, Monday, March 30, 2009. 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 6, 2009.

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