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

  • TRAGEDY: As you may have heard, our Programme Chair, Martin Hofmann, has died while hiking in Japan (message from Shonan). We are currently planning ways to remember Martin during the LICS conference in Oxford.
  • Anuj Dawar and Erich Grädel are serving as Programme Co-chairs. To contact them, you can use lics18@easychair.org.

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
Early Registration Deadline 6 June 2018
Final Versions Due for Proceedings TBA
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.