LICS 2010 Call for Short Presentations

LICS 2010 Call for short presentations:

Following a now established tradition, there will be a short talk session during LICS 2010, which is intended for descriptions of work in progress, student projects, trailers for longer presentations at one of the affiliated workshops, and relevant research being or to be published elsewhere; other brief communications may be acceptable. Talks can be on any topic related to logic in computer science as summarized in the LICS call for papers.

Proposals for a short presentations must be submitted in the IEEE Proceedings two-column camera-ready format and may be no longer than 2 pages including references with a font size of 10pt. Submissions instructions including LATEX style files are available from here. The paper 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. References should be included. Submissions not conforming to the above requirements concerning format and length will be rejected without further consideration. There will be no publication of the short presentations. One author of each accepted submission is expected to present it at the conference, and is invited to bring a longer version — possibly submitted elsewhere — of her presentation if available. Registration to LICS is mandatory.

Important dates:

Submission site:

Abstracts can be submitted from April 19 at

Style files:

For instructions on preparing the extended abstract in accordance with the IEEE two-column proceedings format, see LaTeX Author Guidelines for 8.5x11-inch Proceedings Manuscript.

For your convenience, here are the IEEE LaTeX style file and documentation (and a format file, if you are a MS-Word user):

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.

Technical support:

In case of problems please send email to the PC Chair,


Back to the LICS 2010 web page.