18th EACSL Annual Conference on Computer Science Logic
7-11 September 2009
Submission is closed!
The URL for submitting papers is
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
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
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.