Univ Oxford
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2018 will be hosted at the University of Oxford as part of the Federated Logic Conference (FLOC 2018), during 9–12 July 2018, with affiliated workshops 7–8 and 13 July.

Latest News

  • LICS will take place in Lecture Rooms 1 and 3 of the Mathematical Institute in Oxford.
  • The LICS programme is here.
  • The Proceedings of LICS 2018 are now online. As part of the ACM Authorizer / Open TOC service, this should provide free access to the conference papers maintained in the ACM DL in perpetuity.
  • TRAGEDY: As you may have heard, our Programme Chair, Martin Hofmann, has died while hiking in Japan (message from LMU). Benjamin Pierce will give a talk on Wednesday 11 July at 1745, and the LCC 2018 workshop will have a special session to remember and honour Martin.
  • The list of accepted papers is now available.
  • Anuj Dawar and Erich Grädel are serving as Programme Co-chairs. To contact them, you can use lics18@easychair.org.
  • Applications for the Logic Mentoring Workshop are now open.
  • See FLOC local information for advice on accommodation and travel. You are advised to book accommodation as soon as you can because it can be scarce in Oxford.

Important Dates

Titles and Short Abstracts Due 24 January 2018
Full Papers Due 31 January 2018
Author Feedback/Rebuttal Period 14–18 March 2018
Author Notification 31 March 2018
Final Versions Due for Proceedings 1 May 2018
Early Registration Deadline 6 June 2018
Conference 9–12 July 2018

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.