The URL for submitting papers is http://www.easychair.org/conferences/?conf=lics2009. This link will bring you to a page labelled Submission Page for LICS 2009.
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 2009. 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 GMT, Monday, January 12, 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 GMT, Monday, January 19, 2009.
The submission deadlines (length restriction and formatting instructions as set out in the following) are firm: submissions deviating from these may be rejected by the Programme Committee Chair, without further consideration.
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-labelled 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. The PC chair should be informed of closely related work submitted to a conference or journal in advance of submission. 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.
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):
IMPORTANT:
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.
Eligibility: To be considered for the Kleene award each coauthor of the paper should satisfy one of the following criteria:
Submission: To be considered for the Kleene award, submit the paper following the regular procedure, and send an email to the Programme Chair Andrew.Pitts@cl.cam.ac.uk with "LICS 2009 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).
In case of problems please send email to the PC Chair, Andrew.Pitts@cl.cam.ac.uk