LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011.
LICS 2010 took place 11th–14th July 2010 in Edinburgh, Scotland, U.K., at the School of Informatics at the University of Edinburgh. It was the 25th meeting of the series and was part of the 5th Federated Logic Conference (FLoC 2010). Detailed information can be found here.
Slides from the 25th Anniversary Presentation by Rajeev Alur
The LICS conference proceedings are published by the IEEE Computer Society.
The LICS symposium is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.