LICS 2008 Submission Instructions

Note the revised submission deadlines

Paper Submission Site    -     Instructions    -     Style Files    -     Kleene Award    -     Technical Support

Paper submission site

The URL for submitting papers is This link will bring you to a page labelled Submission Page for LICS 2008.

There are two zones: (1) Registered User and (2) New User. 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 author information and abstract. The abstract has to be under 300 words. 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 LICS 2008. You can submit new papers, resubmit previously submitted papers, or change information about authors.

Extended abstracts must be in pdf format.

The deadline for submitting titles and short abstracts is 11:59pm EST, Monday, January 14, 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 EST, Monday, January 21, 2008.

The submission deadlines (length restriction and formatting instructions as set out in the following) are firm: submissions deviating from these will be rejected by the Programme Committee Chair, without further consideration.

Instructions for preparing extended abstracts

Every extended abstract must be in English and provide sufficient detail to allow the programme committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the symposium and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included.

Extended abstracts may be no longer than 10 pages including title, abstract and references, and must be formatted in the IEEE two-column proceedings style (see "style files", below). If necessary, detailed proofs of technical results can be included in a clearly-labeled appendix in the same two-column format following the 10-page extended abstract or there can be a pointer to a manuscript on a web site. This material may be read at the discretion of the programme committee.

The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the Symposium.

Style files

For instructions on preparing the extended abstract in accordance with the IEEE two-column proceedings format, see LaTeX Author Guidelines for 8.5x11-inch Proceedings Manuscript.

For your convenience, here are the IEEE LaTeX style file and documentation (and a format file, if you are a MS-Word user):

Please ignore any instructions specifically concerning the preparation of the final proceedings version of a paper (e.g. submission of abstract to IEEE, submission of copyright form). Also, do not contact IEEE with questions regarding the preparation of extended abstracts.

Kleene award:

Eligibility: To be considered for the Kleene award each coauthor of the paper should satisfy one of the following criteria:

  1. the author is a current student, or
  2. the author graduated recently (1st January 2007, or later) and the submission is based on the author's work during student days (thus, a typical example of category 2 is a submission based on a PhD thesis finished during 2007)

Submission: To be considered for the Kleene award, submit the paper following the regular procedure, and send an email to the Programme Chair with "LICS 2007 Kleene award" in the subject with a brief explanation regarding eligibility, stating the author's university, department and doctoral advisor. In addition, you should ask your advisor to email the Programme Chair directly, confirming your actual or expected graduation date (as appropriate).

Technical Support

In case of problems please send email to the PC Chair,


Back to the LICS 2008 web page.

Last modified: Tue Dec 27 2007
Stephan Kreutzer and Nicole Schweikardt