This page contains style files and instructions for preparing extended abstracts for submission to LICS 2006.
A title and short abstract must be submitted by
February 3, 2006.
Extended abstracts must be submitted by February 10, 2006.
Every extended abstract must be in English and provide sufficient detail to allow the program 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 conference 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 references, and must be formatted in the IEEE Proceedings two-column camera-ready style (see "style files", below). If necessary, detailed proofs of technical results can be included in a clearly-labeled 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 may be rejected without further consideration.
The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. 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 conference.
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.