CAV 2027 — 39th International Conference on Computer Aided Verification

Amsterdam, The Netherlands
19–23 July 2027

IMPORTANT DATES

All deadlines are AoE (Anywhere on Earth) and in 2027.
Full papers due: 20 January 2027
Early reject notification: 4 March 2027
Artifact registration (Tool papers): 8 March 2027
Author response period: 5–8 April 2027
Author notification: 23 April 2027
Artifact registration (non-Tool papers): 26 April 2027
Camera-ready deadline: 18 May 2027
Early registration deadline: 18 May 2027
Main conference: 19–23 July 2027

SCOPE

CAV 2027 is the 39th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques needed for their implementation.

Topics of interest include, but are not limited to:
Foundations of verification and synthesis (mathematical, logical, automata, games)
Verification algorithms (model checking, deductive verification)
Proof assistants and deductive methods
Specifications and correctness criteria for programs and systems
SAT, SMT, constraint solving, decision procedures
Synthesis algorithms (software, hardware, systems)
Program and software verification (including analysis)
Hardware verification
Verification of concurrent and distributed systems
Verification of hybrid, embedded, and cyber-physical systems
Abstraction and compositional techniques
Verification of probabilistic and quantum systems
Testing and run-time analysis based on verification technology
Formal methods for AI safety, explainability, and machine learning
Formal methods for security
Emerging domains for verification and synthesis, e.g., biology
Applications and case studies in practice (especially in industry)

CAV welcomes submissions on theory, algorithms, practice and/or tools. Submissions on a wide range of topics are sought, particularly ones that identify new research directions.

PAPER CATEGORIES

Regular Papers — 18 pages max; must be anonymized
Tool Papers — 18 pages max; need not be anonymized
Application/Industrial Experience/Case Study Papers — 10 pages max; need not be anonymized

Page limits do not include references and appendices. Papers in all categories must be submitted by 20 January 2027 AoE and should be in LNCS format.

Submission of an artifact is mandatory for Tool Papers. For Regular Papers and Application/Industrial Experience/Case Study Papers, authors of accepted papers will be invited, but are not required, to submit a relevant artifact for evaluation.

PROCEEDINGS

The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.


CONTACT

For questions, please contact the PC chairs:
Cav2027@lists.utwente.nl

PC Chairs:
Marieke Huisman, University of Twente
Joost-Pieter Katoen, RWTH Aachen University & University of Twente