[FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]
martin at eipye.com
Mon Mar 26 11:23:06 EDT 2012
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.
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
(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
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.
* Submission Deadline: 15 April 2012
* Author Notification: 1 May 2012
* Final Version Deadline: 30 May 2012
* Andrei Bulatov: abulatov at cs.sfu.ca
* Nachum Dershowitz: nachum at tau.ac.il
In case of any problems, please send email to one of the co-chairs.
You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsubscribe' in the message body. If you want help with using the
mailing list, please send 'help' in the body of an email to
majordomo at comlab.ox.ac.uk.
More information about the FOM