Thirty-Fifth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
8–11 July 2020
We are observing the COVID-19 developments carefully.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Saarbrücken, Germany
during 8–11 July 2020, in co-location with ICALP 2020.
23 March. A local page is now available, hosted at Saarland Informatics Campus.
23 March. Unfortunately the DECFOML workshop has had to cancel.
12 Feb: A fresh call for workshops is made, with closing date 26 February. Unfortunately the workshops ALML, LPOP and WQC have had to cancel due to the change in location.
7 Feb: The LICS and the ICALP steering committee have agreed together with
the conference chairs in Beijing to relocate this joint conference.
ICALP and LICS 2020 will take place in Saarbrücken, Germany, July 8-11
(with satellite workshops on July 6-7).
We are very grateful to our colleagues in Beijing, for their initial
efforts at organizing this meeting, to our colleagues from
Saarbrücken, who generously accepted this challenging task, and to all
members of our community who offered their help in this difficult