LICS 2004

Nineteenth Annual IEEE Symposium on Logic in Computer Science

Turku, Finland

July 14-17, 2004

Paper Submission Instructions

Important Deadlines:

January 26, 2004 - Paper registration and short abstracts due by 24:00 PST.
February 2, 2004 - Papers (extended abstracts) due by 24:00 PST.
April 25, 2004 - Camera-ready copies of accepted papers due.

N.B. PST = UTC - 8 hours.

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) by no later than 24:00 PST, Monday, January 26, 2004.

Use the PC-Expert interface at LICS 2004 Paper Registration.

Fill in the appropriate fields in the registration form as required and mark the "Abstract Only" box if you want to submit the paper at a later time.

State whether or not the paper is eligible for the Kleene Award. For the latter, please mark the "Student Paper" box which means eligible for the Kleene Award.

After registering the paper, you will receive an automatic reply in which you will be provided with a password.

Use the password provided in the automatic reply to upload your paper no later than 24:00 PST, Monday, February 2, 2004.
Again use the PC-Expert interface at LICS 2004 Paper Registration.
Papers must be uploaded in postscript or in PDF format only.
You may upload any number of revisions of the paper, using the password, until the deadline expires.

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 2004 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: 20/01/2004 (by AKS)