Regular Papers
Original research with sufficient detail to assess merits and relevance; must be anonymized; max 18 pages (excluding references and appendices); subject to double-blind review.
Theory/CORE A*
CAV 2026
International Conference on Computer-Aided Verification
CAV 2026 is the 38th International Conference on Computer Aided Verification, dedicated to advancing the theory and practice of formal analysis methods for hardware and software systems. It emphasizes practical verification tools and algorithms while expanding into emerging domains such as machine learning, quantum verification, autonomous systems, and computer security.
Key deadlines
Verified September 9, 2026Full paper
January 29, 2026
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
January 29, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Tool Papers
Describe a tool or new version of a tool of wide interest and usefulness; do not require novel research; must be backed by citations to refereed work; not anonymized; max 10 pages; subject to single-blind review.
Short Application Papers
Describe a practical application of an algorithm, theoretical result, or extension thereof; must be of wide interest; anonymized; max 10 pages; subject to double-blind review.
Industrial Experience Reports & Case Studies
Describe use of formal methods in industrial or new application domains; need not present original research but must include novel applications and evaluation; not anonymized; max 10 pages; subject to single-blind review.
Research areas in scope
01
Topics of Interest
Foundations of verification and synthesis (mathematical, logical, automata, games)Verification algorithms (model checking, deductive verification)Proof assistants and deductive methodsSpecifications and correctness criteria for programs and systemsSAT, SMT, constraint solving, decision proceduresSynthesis algorithms (software, hardware, systems)Program and software verification (including analysis)Hardware verificationVerification of concurrent and distributed systemsVerification of hybrid, embedded, and cyber-physical systemsAbstraction and compositional techniquesProbabilistic verificationTesting and run-time analysis based on verification technologyFormal methods for AI safety, explainability, and machine learning modelsFormal methods for securityEmerging domains for verification and synthesis, e.g., biology, quantumApplications and case studies in practice (esp. in industry)
Policies worth checking twice
- Papers must be anonymized for Regular Papers and Short Application Papers; author names and affiliations must be omitted.
- References to authors' prior work must be made in the third person for anonymized submissions.
- Simultaneous submission to other conferences with proceedings or submission of previously published material is not allowed.
- Papers may include a clearly marked appendix, but reviewers are not obliged to read it.
- Page limits do not include references and appendices.
- Regular Papers and Short Application Papers follow a double-blind review process; Short Tool Papers and Industrial Experience Reports follow a single-blind review process.
- A two-stage reviewing process is implemented: initial reviews determine progression to a second round with additional reviews.
- Authors may respond to reviewer comments in a rebuttal phase if their paper passes the first stage.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026