Thirty-Fifth Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
8–11 July 2020
LICS 2020 and ICALP 2020 will be held online, hosted at Saarland (details).
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 held online but hosted in Saarbrücken, Germany
during 8–11 July 2020, in co-location with ICALP 2020.
9 July. LICS proceedings are online in the ACM digital library.
3 June. Unfortunately the FG-PAAW workshop has been cancelled this year.
14 April. A list of LICS accepted papers is online.
9 April. Unfortunately the LOLA workshop has been cancelled this year.
31 March. LICS and ICALP 2020 will be held online. Details to follow.
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