The ACM–IEEE Symposium on Logic in Computer Science (LICS) is a prominent annual academic conference exploring the intersection of computer science and mathematical logic. Originally sponsored solely by the IEEE, it became the flagship conference for the ACM Special Interest Group on Logic and Computation (SIGLOG) in 2014, now enjoying joint sponsorship from both ACM and IEEE. Extended versions of selected papers from LICS are frequently published in esteemed international journals like Logical Methods in Computer Science.

Since 1995, the conference has awarded the Kleene Award for the best student paper, and in 2006, it introduced the LICS Test-of-Time Award to recognize highly influential papers published 20 years prior. Adding a unique touch, the conference proceedings covers from 1988 until 2013 famously featured an artwork by Alvy Ray Smith, titled "Irrational Tiling by Logical Quantifiers."