ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences

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 2023 will be held in Boston (26 - 29 June 2023).

Last LICS Conference:

LICS 2022 was held in Haifa as part of FLOC (2 - 5 August 2022).

Last FLoC Conference:

The 7th Federated Logic Conference, FLoC 2022, will be held in Haifa, Israel.

Free access to LICS proceedings:

LICS 2022 | LICS 2020 | LICS 2018 | LICS 2016 (via ACM OpenTOC).

Past LICS and FLoC Conferences:

LICS Archive

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.

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.

LICS Awards

LICS Newsletters

LICS Archive

LICS Steering Committee

List of Logic-Related Conferences

Links to Logic-Related Webpages

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: Sun Nov 21 13:05:13 GMT 2021
Sam Staton