25-28 June 2012
Dubrovnik, Croatia
Twenty-Seventh Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2012)
June 2528, 2012, Dubrovnik, Croatia
Call for Short Presentations and Posters
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic, broadly construed.
LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik,
Croatia, from June 25th to 28th, 2012.
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.
Submission Instructions:
===================
SHORT PRESENTATIONS:
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 at
http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/.
(The file bare_conf.tex may be used as a template.)
POSTERS:
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.
The submission server is open.
Important dates:
=============
* Submission Deadline: 15 April 2012
* Author Notification: 1 May 2012
* Final Version Deadline: 30 May 2012
Program ch-chairs:
===============
* Andrei Bulatov: abulatov@cs.sfu.ca
* Nachum Dershowitz: nachum@tau.ac.il
In case of any problems, please send email to one of the co-chairs.