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&#39;12)<br>  Syntax and Semantics of Low-Level Languages (LOLA&#39;12)<br><br>- June 29 (Friday)<br>  Algorithmics on Infinite-State Systems (AISS&#39;12)<br>
  Games for Logic and Programming Languages (GALOP&#39;12)<br>  Intersection Types and Related Systems (ITRS&#39;12)<br>  Logic and Systems Biology (LSB&#39;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 &quot;Registration&quot;.<br><br>