27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2012)<br><br> Call for Participation<br> June 25-28, 2012<br> Dubrovnik, Croatia<br> <a href="http://www2.informatik.hu-berlin.de/lics/lics12/">http://www2.informatik.hu-berlin.de/lics/lics12/</a><br>
<br>* The LICS Symposium is an annual international forum on theoretical and<br>practical topics in computer science that relate to logic, broadly construed.<br>LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik,<br>
Croatia, from June 25th to 28th, 2012.<br><br>* TUTORIALS<br><br>LICS 2012 will continue the tradition of pre-conference tutorials that was<br>initiated in 2011. This year, Jan Willem Klop will give a tutorial on term<br>
rewriting systems and Andre Platzer will give a tutorial on logics of<br>dynamical systems.<br><br>* SPECIAL EVENTS AND INVITED LECTURES<br><br>There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel<br>
Prize in Economic Sciences, and a plenary session in honor of Alan Turing on the<br>occasion of his centenary, with talks by Robert L. Constable, E. Allen Emerson<br>(co-winner of 2008 A. M. Turing Award), Joan Feigenbaum, and Leonid Levin.<br>
<br>* AFFILIATED WORKSHOPS<br><br>- June 24 (Sunday)<br> Logic and Computational Complexity (LCC'12)<br> Syntax and Semantics of Low-Level Languages (LOLA'12)<br><br>- June 29 (Friday)<br> Algorithmics on Infinite-State Systems (AISS'12)<br>
Games for Logic and Programming Languages (GALOP'12)<br> Intersection Types and Related Systems (ITRS'12)<br> Logic and Systems Biology (LSB'12)<br><br>* REGISTRATION<br><br>Visit <a href="http://www2.informatik.hu-berlin.de/lics/lics12/">http://www2.informatik.hu-berlin.de/lics/lics12/</a><br>
and follow the link to "Registration".<br><br>