LICS 2012 - Twenty-Seventh Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2012)

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th to 28th, 2012.

More information on LICS 2012:
Call for Papers

Important dates:

Titles & Short Abstracts Due: January 6, 2012
Extended Abstracts Due: January 13, 2012
Author Notification: March 25, 2012
Final Versions Due for Proceedings: April 29, 2012
Conference: June 25?28, 2012

The symposium is sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, the Association for Symbolic Logic and the European Association for Theoretical Computer Science.