All conferences / CAV / 2026
CAV 2026
38th International Conference on Computer Aided Verification
Submission timeline
- 28 Jan 2026 Full paper AoE
- 17 Apr 2026 Notification
- 26 Jul 2026 Conference opens
No extension: checked and confirmed.
What to submit
- Format
- 18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (Short Tool Papers/Short Application Papers/Industrial Experience Reports & Case Studies)
- Proceedings
- Springer LNCS — CC BY
- Reviewing
- Double blind
- Rebuttal
- 30 Mar 2026 to 2 Apr 2026
- Artifacts
- Authors of accepted papers will be invited (but are not required) to submit a relevant artifact for evaluation by the artifact evaluation committee. Authors are encouraged to consult SIGPLAN’s Empirical Evaluation Guidelines when reporting on empirical results.
- Awards
- The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
- Chairs and
invited speakers -
Mixed genders
chairs 2 men, 1 womaninvited speakers 1 man, 1 womanHow this is counted
- Journal
- 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.
Owing to the increasing number of submissions, CAV has decided to implement a two-stage reviewing process. In the first stage, each paper will get two reviews. Papers with sufficient support by the reviewers will proceed to the next stage, where they will receive two additional reviews; other papers will be rejected early