LICS 2004

Nineteenth Annual IEEE Symposium on Logic in Computer Science

Turku, Finland

July 14-17, 2004

Paper Submission Instructions

Important Deadlines:

N.B. PST = UTC - 8 hours.

All deadlines are firm. There will be no exceptions.

Submission Instructions:

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.


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)