As in the past, there will be a short-presentation session
during LICS 2012, which is intended for descriptions of works in
progress, student projects, trailers for longer presentations at
affiliated workshops, and relevant research being 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. In addition, there will be a poster
session, mainly for student research in progress. Proceedings of
these sessions will not be published.
Proposals for short (10-minute) presentations must be submitted in the IEEE (2-column; 10pt) proceedings format and must be 1 or 2 pages long, including references. Please refer to a longer version, should one be available. Style files and instructions for using them can be found here. (The file bare_conf.tex may be used as a template.)
Proposals for posters should be in the form of the planned poster
(140cm tall; 100cm wide; 28pt main font), and should include a
reference to a relevant publication or preprint.
The URL for submitting papers is http://www.easychair.org/conferences/?conf=lics2012. This link will bring you to the “Login Page for LICS 2012”. Either sign in using your existing EasyChair account, or sign up for a new account. You'll reach the “LICS 2012 (author)” page. The page should be self-explanatory. To submit a paper, click “New Submission” on top and follow instructions.
Andrei Bulatov: email@example.com
Nachum Dershowitz: firstname.lastname@example.org
In case of any problems, please send email to one of the co-chairs.