CCF ATheory2022: APublisher: Springer
CAVInternational Conference on Computer Aided Verification
CAV is a rank A conference in Theoretical Computer Science in the CCF list's 7th edition (2026), as in 2022. The CAV 2027 paper deadline is Jan 20, 2027, 23:59 AoE. CAV 2027 takes place on Jul 21–23, 2027 in KIT, Amsterdam, The Netherlands. Acceptance rate 2026: 25.4% (81/319).
FollowGet an email a week and a day before each deadline
Data updated 8 November 2026 · rank from the CCF list's 7th edition
Current edition
CAV 2027: call for papers timeline
- Jan 21, 2027, 11:59 UTC
- Apr 9, 2027, 11:59 UTCRebuttalCommunity data · unverified
- Apr 23, 2027As announced by the conferenceNotificationCommunity data · unverified
- Jul 21–23, 2027Local timeConferenceKIT, Amsterdam, The Netherlands
AoE (Anywhere on Earth) is UTC−12 (time zones explained). These dates come from the ccf-deadlines community project and have not yet been checked against the conference website; confirm them there before you submit. Conference website ↗
Past editions
Dates, venues, deadlines and acceptance rates
| Year | Paper deadline | Acceptance | Papers (dblp) | Dates | Venue |
|---|---|---|---|---|---|
| 2027 | 2027-01-20AoE | — | — | Jul 21–23, 2027 | KIT, Amsterdam, The Netherlands |
| 2026 | 2026-01-28AoE | 25.4%81/319 · source | 82 | Jul 26–29, 2026 | Lisbon, Portugal |
| 2025 | — | 25.9%79/305 · source | 79 | Jul 23–25, 2025 | Zagreb, Croatia |
| 2024 | 2024-01-19AoE | 21.8%69/317 · source | 69 | Jul 24–27, 2024 | Montreal, Canada |
| 2023 | — | 25.7%67/261 · source | 67 | Jul 19–22, 2023 | Paris, France |
| 2022 | 2022-01-21AoE | 24.4%51/209 · source | 53 | Aug 7–10, 2022 | Technion, Haifa, Israel |
| 2021 | 2021-01-28AoE | 27.2%79/290 · source | 84 | Jul 20–23, 2021 | Online |
| 2020 | — | — | 65 | — | — |
| 2019 | — | — | 67 | — | — |
| 2018 | — | — | 70 | — | — |
| 2017 | — | — | 61 | — | — |
| 2016 | — | — | 58 | — | — |
Paper counts are dblp's main proceedings only, without workshop volumes; acceptance rates link to the page they come from. dblp ↗
CCF list
CAV in the CCF list
- 7th edition (2026)
- CCF A Theoretical Computer Science · no. 3
- 6th edition (2022)
- CCF A Theoretical Computer Science
- Name in the list
- International Conference on Computer Aided Verification
- Publisher
- Springer
- dblp
- conf/cav ↗
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide. What counts, case by case →
FAQ
About CAV
What CCF rank is CAV?
CAV is a rank A conference in Theoretical Computer Science in the CCF list's 7th edition (2026), as in 2022.
When is the CAV 2027 deadline?
Paper: Jan 20, 2027, 23:59 AoE (Jan 21, 2027, 11:59 UTC). The dates come from the ccf-deadlines community project; check the conference website before you submit.
Where is CAV 2027?
CAV 2027 takes place on Jul 21–23, 2027 in KIT, Amsterdam, The Netherlands.
What is the CAV acceptance rate?
2026: 319 submissions, 81 accepted, 25.4%. 2025: 25.9% (79/305). The history table links each figure to its source.
Do CAV workshop and short papers count as CCF A?
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide.
In more detail: Which CCF conference papers count · How to read conference deadlines
Sources: the CCF list of recommended international conferences and journals, 7th edition (published 31 March 2026, corrected 9 April 2026) and 6th edition (2022); editions, deadlines and acceptance rates from the ccf-deadlines community project (MIT licence), marked as community data until checked against each conference's website, then marked as checked with the website's own words; proceedings and paper counts from dblp (CC0).