[Om-announce] LICS 2012 - Last Call for Participation
andrzej.murawski at leicester.ac.uk
Sun Jun 17 22:56:28 CEST 2012
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
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
Prize in Economic Sciences, and a plenary session in honor of Alan Turing
occasion of his centenary, with talks by Robert L. Constable, E. Allen
(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".
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Om-announce