LICS 2003

Eigtheenth Annual IEEE Symposium on Logic in Computer Science

Ottawa, Canada

June 22-25, 2003

Paper Submission Instructions

Important Deadlines:

January 6, 2003 - Paper registration and short abstracts due by 5:00 p.m. PST.
January 13, 2003 - Papers due by 5:00 p.m. PST.
April 11, 2003 - Camera-ready copies of accepted papers due.

All deadlines are firm. There will be no exceptions.

Submission Instructions:

Register the paper and submit a short abstract of about 100 words (and no more than 300 words) after December 15, 2002, but no no later than 5:00 p.m. PST, Monday, January 6, 2003. Use the ConfMan interface at LICS 2003 Paper Registration.
By filling the appropriate fields in the registration form, please provide the contact author information, keyword information, and also state whether or not the paper is eligible for the Kleene Award. For the latter, please click on the "Paper type" box and choose between
- "Student Paper" (which means eligible for the Kleene Award)
- "Not a Student Paper" (which means ineligible for the Kleene Award).
After registering the paper, you will receive an automatic reply in which you will be provided with a URL.

Use the URL provided in the automatic reply to upload your paper no later than 5:00 p.m. PST, Monday, January 13, 2003. Papers must be uploaded in postscript or in PDF format only.

Submission format:

Papers: Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (this is the length and format of papers that will appear in the LICS 2003 proceedings). IEEE style files are accessible at the LICS Website. 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 program committee. Extended abstracts not conforming to the above requirements concerning format and length will be rejected.

Awards:

Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a submission to be eligible, the research presented in the paper must have been carried out while all authors were full-time students. The program committee may decline to make the award or may split it among several papers.

Last updated: 12/6/2002 (by PhK)