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, died while hiking in Japan (message from LMU). Benjamin Pierce gave a talk in LICS 2018, and the LCC 2018 workshop had a special session to remember and honour Martin.
- You can watch Benjamin's talk on youtube.
- 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.
- 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.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.