The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 -- 23 July 2026, as part of the Federated Logic Conference FLOC'26.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
重要信息
CCF推荐：A（计算机科学理论）
录用率：30.7%（66/215，2025年）
时间地点：2026年7月20日-里斯本·葡萄牙
截稿时间：2026年1月15日
大会官网：https://lics.siglog.org/lics26/
Call for Papers
automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.
Paper instructions
Papers must be generated by using pdflatex and an up-to-date LaTeX system. The formatting of the paper is flexible. The length of the full paper however must be at most 12 pages in ACM SIGCONF Proceedings 2-column 10pt format excluding references.
Distinguished Papers
Around 10% of accepted papers will be selected as distinguished papers. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity.