Theory/CORE A*

LICS 2026

IEEE Symposium on Logic in Computer Science

July 20-23, 2026Lisbon, PortugalOfficial conference site Site reachable

LICS 2026 is the 41st Annual Symposium on Logic in Computer Science, held in Lisbon, Portugal, from 20–23 July 2026 as part of FLOC 2026. It serves as an international forum for theoretical and practical research at the intersection of logic and computer science, covering a broad range of topics from formal methods to quantum computation and type theory.

Official CFP Back to deadlines Verified September 9, 2026

Key deadlines

Verified September 9, 2026

Abstract registration

January 16, 2026

AoE

Full paper

January 23, 2026

AoE

Conference timeline

Submission and decisions

Abstract registrationKey deadline

January 16, 2026 · AoE

Full paperKey deadline

January 23, 2026 · AoE

Paper fit

Contribution paths

A strong submission should clearly identify its contribution and evaluate it appropriately.

Full Papers

Submissions must be in ACM SIGCONF 2-column format, up to 12 pages excluding references, and must be generated using pdflatex with the acmart class. Papers must be unpublished and not submitted elsewhere. Authors must omit names and affiliations for double-blind review.

Research areas in scope

Suggested Topics of Interest

automata theoryautomated deductioncategorical models and logicsconcurrency and distributed computationconstraint programmingconstructive mathematicsdatabase theorydecision proceduresdescription logicsdomain theoryfinite model theoryformal aspects of program analysisformal methodsfoundations of computabilityfoundations of probabilistic, real-time and hybrid systemsgames and logichigher-order logicknowledge representation and reasoninglambda and combinatory calculilinear logiclogic programminglogical aspects of AIlogical aspects of bioinformaticslogical aspects of computational complexitylogical aspects of quantum computationlogical frameworkslogics of programsmodal and temporal logicsmodel checkingprocess calculiprogramming language semanticsproof theoryreasoning about security and privacyrewritingtype systemstype theoryverification

Policies worth checking twice

Submissions must include a title and 100-word abstract by 15 January 2026, and a full paper by 22 January 2026.
Submission deadlines are firm; late submissions will not be considered.
LICS 2026 uses a lightweight double-blind reviewing process: author names and affiliations must be omitted, and references to own work must be in third person.
Authors may not submit papers that are under review or accepted elsewhere.
PC members may submit at most one paper.
Authors must inform program chairs in advance of any closely related submissions to other venues.
Accepted papers must be presented by at least one author at the conference (remote presentations allowed).
Papers must be in English and include a non-specialist summary of issues, results, and significance.

Official sources

Compiled from the official call for papers. The organizers’ pages remain authoritative.

Official conference site Call for Papers Accepted Papers Workshops

Last verified September 9, 2026