 Symposium on Logic in Computer Science

The Symposium on Logic in Computer Science (LICS) is an academic conference that focuses on the interplay between logic and computer science. It serves as a forum for researchers and practitioners to present and discuss advances in the areas where logic and computer science intersect. This includes, but is not limited to, topics such as formal methods, model checking, verification, computational logic, logic programming, and the semantics of programming languages.