ACM/IEEE Symposium on Logic in Computer Science

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


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 Conferences:

LICS 2016 will be held at Columbia University in New York City (July 5-8, 2016).

Last LICS Conference:

LICS 2015 was held Kyoto, Japan, co-located with ICALP (July 6-10, 2015).

Last FLoC Conference:

The 6th Federated Logic Conference, FLoC 2014, was held in Vienna, Austria as part of the Vienna Summer of Logic

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 Anti-Harassment Policy

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 ACM 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.


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.


LICS 2017
Reykjavik University
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2017 will be hosted at Reykjavik University during 20–23 June 2017, with affiliated workshops 18–19 June.

Latest News

  • LICS 2017 will be held at Reykjavik University.

Important Dates

Titles and Short Abstracts Due 3 January 2017
Full Papers Due 9 January 2017
Author Feedback/Rebuttal Period 28 February – 4 March 2017
Author Notification 21 March 2017
Final Versions Due for Proceedings 18 April 2017
Early Registration Deadline TBC 2017
Conference 20–23 June 2017 2017