ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

Future LICS Conferences:

LICS 2013 will be held 25-28 June 2013 in New Orleans on the campus of Tulane University and will be colocated with CSF and MFPS.

LICS 2014 will be held in Vienna, Austria, as part of the Federated Logic Conference (July 12-24, 2014).

Current LICS Conference:

LICS 2012 will be held in Dubrovnik, Croatia, from June 25 to 28, 2012.

Last LICS Conference:

LICS 2011 was held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21 to 24, 2011. Detailed information can be found here.

 

Last FLoC Conference:

The 5th Federated Logic Conference, FLoC 2010, was held in Edinburgh, Scotland, U.K., 9–21 July 2010, at the School of Informatics at the University of Edinburgh.

Past LICS and FLoC Conferences:

LICS Archive

LICS Awards:

LICS Test-of-Time Award:

The IEEE Symposium on Logic in Computer Science established a Test-of-Time Award to recognize a small number of papers from the LICS proceedings from 20 years prior.

Kleene Award for the Best Student Paper:

In honour of the late S.C. Kleene, the Kleene Award is given for the best student paper accepted at LICS.

LICS Awards

LICS Newsletters

LICS Archive

LICS Organization Board

List of Logic-Related Conferences

Links to Logic-Related Webpages

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

Last modified: Fri 6 Jan 2012 16:58:41 GMT
Andrzej Murawski