[FOM] LICS 2012 Call for Short Presentations and Posters [FROM:stephan.kreutzer at tu-berlin.de]

[Kreutzer, Stephan]

            Twenty-Seventh Annual ACM/IEEE Symposium on

               LOGIC IN COMPUTER SCIENCE (LICS 2012)

                  June 25­28, 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 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.