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 (dates are currently tentative). FLOC is planned as a physical meeting, but for people who cannot travel to Israel, the possibility of remote participation will be ensured.

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
Conference 2–5 August 2022 (tentative)

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.