Universiteit van Amsterdam


Institute for Logic, Language and Computation

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

Date: 8 - 12 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. LICS 2020 will be hosted in Saarbrücken, Germany, in 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/.