The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2022 will be hosted at the Technion in Haifa, Israel as part of the Federated Logic Conference (FLOC 2022) during 2 – 5 August 2022, with affiliated workshops 31 July and 1 August.

Latest News

Titles and Short Abstracts Due 17 January 2022
Full Papers Due 21 January 2022
Author Response Period 10–13 March 2022
Author Notification 14 April 2022
Deadline for final version of accepted papers 15 June 2022 (firm)
Conference 2–5 August 2022

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.