Eigtheenth Annual IEEE
Symposium on Logic in Computer Science
Ottawa, Canada June 22-25, 2003
Paper Submission Instructions
June 22-25, 2003
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
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.
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
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)