Call for Papers: CAV 2025

The 37th International Conference on Computer Aided Verification (CAV 2025) will be held in Zagreb, Croatia, from July 21-25, 2025. CAV 2025 is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

Scope

CAV covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The conference aims to spur advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security.

Topics of interest include, but are not limited to:

• Algorithms and tools for verifying models and implementations
• Algorithms and tools for system synthesis
• Algorithms and tools that combine verification and learning
• Mathematical and logical foundations of verification and synthesis
• Specifications and correctness criteria for programs and systems
• Deductive verification using proof assistants
• Hardware verification techniques
• Program analysis and software verification
• Software synthesis
• Hybrid systems and embedded systems verification
• Formal methods for cyber-physical systems
• Compositional and abstraction-based techniques for verification
• Probabilistic and statistical approaches to verification
• Verification methods for parallel and concurrent systems
• Testing and run-time analysis based on verification technology
• Decision procedures and solvers for verification and synthesis
• Applications and case studies in verification and synthesis
• Verification in industrial practice
• New application areas for algorithmic verification and synthesis
• Formal models and methods for security
• Formal models and methods for biological systems
• AI safety and explainability using formal methods

Submissions on a wide range of topics are sought, particularly ones that identify new research directions. The proceedings of the conference 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.

Submission Categories

• Regular Papers: (18 pages max, must be anonymized)
• Tool Papers: (10 pages max, not anonymized)
• Industrial Experience Reports & Case Studies: (10 pages max, not anonymized)

Important Dates (All deadlines are AoE - Anywhere on Earth)

• Full papers due: January 31, 2025 (Firm)
• Author Response Period: March 11 - 14, 2025
• Author notification: April 2, 2025
• Early registration deadline: June 22, 2025
• Workshops: July 21-22, 2025
• Main conference: July 23-25, 2025

Submission Site

Main submission site is https://cav2025.hotcrp.com/

Review Process

• Regular Papers: Full double-blind review process. Author names and affiliations must be omitted. References to prior work by authors should be in the third person.
• Tool Papers: Single blind review process. Do NOT need to be anonymized.
• Industrial Experience Reports & Case Studies: Single blind review process. Do NOT need to be anonymized.

Artifact Evaluation

Authors of accepted regular papers and Industrial Experience Reports/Case Studies are invited (but not required) to submit a relevant artifact for evaluation. Final acceptance of Tool Papers is conditional on successful artifact evaluation at the “functional” level.

CAV Award

• Nomination Deadline: March 1, 2025
• Nominations should include a proposed citation, a description of the contribution, and justification. Contributions should have been made between 5 and 25 years ago and not yet received major awards.
• For details and submission, please see https://conferences.i-cav.org/2025/award/

Contact

For questions, please contact the PC chairs:

• Ruzica Piskac (ruzica.piskac@yale.edu)
• Zvonimir Rakamaric (zrakamar@gmail.com)