Home / Venues / Computer science / CAV

CAV

International Conference on Computer-Aided Verification

Computer scienceTheory

Paper deadline · 23:59 AoE Confirmed

20 January 2027
Check your paper

First check free, before the 20 January deadline. What does it check?

Add to calendar, with a reminder 3 days before: Apple, Outlook · Google

Edition
July 21-23, 2027
Where
KIT, Amsterdam, The Netherlands

Source: conferences.i-cav.org

Acceptance rate

Papers accepted out of those submitted to the main conference.

Acceptance rate (%) by year
2021: 27.2212022: 24.4222023: 25.7232024: 21.8242025: 25.9252026: 25.426

2021: 27.2, 2022: 24.4, 2023: 25.7, 2024: 21.8, 2025: 25.9, 2026: 25.4

YearSubmittedAcceptedRate
20263198125.4%
20253057925.9%
20243176921.8%
20232616725.7%
20222095124.4%
20212907927.2%

Past deadlines

When the paper deadline fell in recent years: a good guide to when the next call will close.

EditionPaper deadlineWhere
20262026-01-28Lisbon, Portugal
2025—Zagreb, Croatia
20242024-01-19Montreal, Canada
2023—Paris, France
20222022-01-21Technion, Haifa, Israel

Official rankings

Computer science ranks its conferences. We don't reproduce the lists; check CAV on each:

More theory deadlines

MeetingDeadline
SOCGInternational Symposium on Computational Geometry2 Dec 2026
ISITIEEE International Symposium on Information Theory10 Jan 2027
CADEThe Conference on Automated Deduction22 Feb 2027
FSCDInternational Conference on Formal Structures for Computation and Deduction26 Apr 2027
PacificVisIEEE Pacific Visualization Symposium9 Nov 2026
NOMSIEEE/IFIP Network Operations and Management Symposium9 Nov 2026
ICDEIEEE International Conference on Data Engineering11 Nov 2026
PLDIACM SIGPLAN Conference on Programming Language Design & Implementation12 Nov 2026

Submitting to CAV? DeskReady checks your final PDF against itself before you do: numbers against the tables, claims against the results, figures against their captions, every reference against the databases. Each finding is highlighted on your own page. The first check is free.

Check your paper

Only the reference list? Check it free, no account needed.

Deadlines from public conference data and the official site, checked 2026-11-09 (Data sources). Dates change: confirm on the official site before you submit. DeskReady is not affiliated with CAV.

Last updated