Conferences

21–24 June 2011, Toronto, Canada
26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. The symposium is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the Fields Institute, and the European Association for Theoretical Computer Science.

http://www2.informatik.hu-berlin.de/lics/lics11/

Back to TopTop