The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.
Next LICS Conference:
LICS 2026 will be held
in Lisbon as part of FLOC (20 - 23 July 2026).
Last LICS Conference:
LICS 2025 was held in Singapore (23 - 26 June 2025).
Last FLoC Conference:
The 7th Federated Logic Conference,
FLoC 2022, was held
in Haifa, Israel.
Free access to LICS proceedings:
LICS 2024 |
LICS 2022 |
LICS 2020 |
LICS 2018 |
LICS 2016 (via ACM OpenTOC).
Past LICS and FLoC Conferences:
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.
Graphics
The LICS logo was designed by Luca Cardelli.
LICS logo
See Luca's site for different versions, or a pdf is here.
When printed proceedings were provided, LICS used this cover art by Alvy Ray Smith, titled
'Irrational tiling by logical quantifiers', designed especially for LICS. Click the image for more info.
Irrational Tiling
©1988, Alvy Ray Smith, All Rights Reserved. Used with permission.
LICS Policy against Discrimination and Harassment
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.
Navigation:
The LICS symposium is cosponsored by
ACM SIGLOG
and
the IEEE Computer Society's
Technical
Committee on Mathematical Foundations of Computing
in cooperation with the Association for Symbolic
Logic.
Last modified: Thu Sep 18 21:48:07 BST 2025
Sam Staton