The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
LICS 2016 will be held at Columbia University in New York City (July 5-8, 2016).
LICS 2015 will co-locate with ICALP in Kyoto during the week 6-10 July.
CSL-LICS 2014 was held in Vienna, Austria, as part of the Federated Logic Conference (July 12-24, 2014).
The 5th Federated Logic Conference,
, was held
, U.K., 9–21 July 2010,
at the School of Informatics
at the 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 open exchange of ideas and the freedom of thought and expression
are central to the values and goals of LICS. They require an
environment that recognizes the inherent worth of every person and
group. They flourish in communities that foster mutual understanding
and embrace diversity. For these reasons, LICS is committed to
providing a harassment-free conference experience, and implements the
policy against harassment
LICS participants violating these standards may be sanctioned or
expelled from the meeting, at the discretion of the conference
organizers. Conference organizers are requested to report serious
incidents to the LICS General Chair.