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 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.
Detailed information (including the call for papers) can be found here.
| Important dates: |
Titles and short abstracts due: |
January 10, 2010
(expired)
|
|
Extended abstracts due: |
January 17, 2010 (expired) |
|
Author notification: |
March 20, 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.
The LICS conference proceedings are published by the
IEEE Computer Society.
