27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2012)
Call for Participation
June 25-28, 2012
* 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.
LICS 2012 will continue the tradition of pre-conference tutorials that was
initiated in 2011. This year, Jan Willem Klop will give a tutorial on term
rewriting systems and Andre Platzer will give a tutorial on logics of
* SPECIAL EVENTS AND INVITED LECTURES
There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel
Prize in Economic Sciences, and a plenary session in honor of Alan Turing on the
occasion of his centenary, with talks by Robert L. Constable, E. Allen Emerson
(co-winner of 2008 A. M. Turing Award), Joan Feigenbaum, and Leonid Levin.
* AFFILIATED WORKSHOPS
- June 24 (Sunday)
Logic and Computational Complexity (LCC'12)
Syntax and Semantics of Low-Level Languages (LOLA'12)
- June 29 (Friday)
Algorithmics on Infinite-State Systems (AISS'12)
Games for Logic and Programming Languages (GALOP'12)
Intersection Types and Related Systems (ITRS'12)
Logic and Systems Biology (LSB'12)
and follow the link to "Registration".