A*
CAV
Computer Aided VerificationQuick take: Flagship international venue (top 7.5% tier). Highly competitive with premier global impact.Recent acceptance rate: 25.39% (2026).
25.39%
acceptance (2026)
81
papers accepted (2026)
319
submissions (2026)
⏰
2027 Submission Deadline
AoE timezone
⏳ 66d 23h left
Paper SubmissionJan 21, 2027, 11:59 AM2027-01-20 23:59 (AOE)
Conference Dates & LocationJuly 21-23, 2027KIT, Amsterdam, The Netherlands
Acceptance-rate trend
Data: lixin4ever/Conference-Acceptance-RatePapers per year
Rank history (CORE → ICORE)
A* Flagship · A Premier · B Established · C RecognizedYear-by-year detail
| Year | Submitted | Accepted | Rate | Tiers | Location |
|---|---|---|---|---|---|
| 2026 | 319 | 81 | 25.39% | — | |
| 2025 | 305 | 51 | 16.72% | 51 regular of 305 (research track); LNCS 15931 preface | — |
| 2024 | 317 | 51 | 16.09% | — | |
| 2023 | 261 | 49 | 18.77% | — | |
| 2022 | 209 | 40 | 19.14% | — | |
| 2021 | 290 | 60 | 20.69% | — | |
| 2020 | 240 | 43 | 17.92% | — | |
| 2019 | 258 | 52 | 20.16% | — | |
| 2018 | 215 | 52 | 24.19% | — | |
| 2017 | 191 | 50 | 26.18% | — | |
| 2016 | 165 | 46 | 27.88% | — | |
| 2015 | 252 | 68 | 26.98% | — | |
| 2014 | 229 | 67 | 29.26% | — | |
| 2013 | 209 | 71 | 33.97% | — | |
| 2012 | 185 | 58 | 31.35% | — | |
| 2011 | 161 | 55 | 34.16% | — | |
| 2010 | 145 | 51 | 35.17% | — | |
| 2009 | 135 | 36 | 26.67% | — | |
| 2008 | 104 | 33 | 31.73% | — | |
| 2007 | 134 | 33 | 24.63% | — | |
| 2006 | 121 | 35 | 28.93% | — | |
| 2005 | 123 | 32 | 26.02% | — | |
| 2004 | 144 | 48 | 33.33% | — | |
| 2003 | 87 | 32 | 36.78% | — | |
| 2002 | 94 | 35 | 37.23% | — | |
| 2001 | 106 | 33 | 31.13% | — | |
| 2000 | 91 | 35 | 38.46% | — | |
| 1999 | 107 | 34 | 31.78% | — | |
| 1998 | 117 | 33 | 28.21% | — | |
| 1997 | 84 | 34 | 40.48% | — | |
| 1996 | 93 | 32 | 34.41% | — | |
| 1995 | 77 | 31 | 40.26% | — | |
| 1994 | 121 | 37 | 30.58% | — | |
| 1993 | 84 | 37 | 44.05% | — | |
| 1992 | 75 | 31 | 41.33% | — |