Photo "Old Town of Tallinn" by Ben Bender (wikimedia). CCA-SA3.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2024 will be hosted in Tallinn, Estonia during 8–12 July 2024. It will be colocated with ICALP 2024 and FSCD 2024.

Submission Information

Paper submisson site: [https://www.easychair.org/conferences/?conf=lics2024] (double-blind submission, see call for papers).

Titles and Short Abstracts Due 21 January 2024
Full Papers Due 26 January 2024
Conference 8 – 12 July 2024

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.