CFP summary
LICS 2026 is the 41st Annual Symposium on Logic in Computer Science and will be held in Lisbon as part of FLoC 2026. The symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS connects logic with programming languages, verification, semantics, complexity, and other core areas of theoretical computer science.
Topics
Logic in computer science; proof theory and type theory; semantics and verification; automata and formal languages; complexity and descriptive complexity; logical methods in programming languages and systems; applications of logic across theoretical and practical computer science.