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 2025 will be held in Singapore (23 - 26 June 2025).
LICS 2024 was held in Tallinn (8 - 11 July 2024).
The 7th Federated Logic Conference,
FLoC 2022, was held
in Haifa, Israel.
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. For these reasons, LICS is committed to
the
ACM
Policy against Discrimination and Harassment. Harassment and discrimination in all forms listed in that policy are prohibited at LICS.
Participants are urged to report incidents and promptly. Please see the policy document for information about how to report an incident.
