Universiteit van Amsterdam


Institute for Logic, Language and Computation

8 - 11 July 2020, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Saarbrücken, Germany

Date: 8 - 11 July 2020
Location: Saarbrücken, Germany
Deadline: Monday 6 January 2020

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) has originally been planned to be held in Beijing (China), and then moved to Saarland Informatics Campus in Saarbrücken (Germany). Due to the pandemic, the symposium is now held online in the period July 8-11, with satellite workshops on July 6-7, and in virtual co-location with ICALP 2020.

We invite submissions on the conference topics.

Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Every full paper must be submitted in the ACM SIGPLAN Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. The extended abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops.

For more information, see https://lics.siglog.org/lics20/.