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 2009 was held at UCLA, Los Angeles, California, USA, 11th–14th August 2009. It was colocated with
the 16th International Static Analysis Symposium (
SAS 2009), 9th–11th August 2009.
LICS 2010 will be organized as part of the 5th Federated Logic Conference
(FLoC 2010) to be held in
Edinburgh, Scotland, U.K., at the
School of Informatics at University of Edinburgh.
LICS 2010 will take place on 11th–14th July 2010.
A first call for papers can be found here.
| Important dates: | Titles and short abstracts due: | January 10, 2010 |
| Extended abstracts due: | January 17, 2010 |
| Author notification: | March 21, 2010 |
The 5th Federated Logic Conference,
FLoC 2010, will be held
in
Edinburgh,
Scotland, U.K., 9th–21st July 2010,
at the
School of Informatics at
University of Edinburgh.
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.
