All conferences / CAV
CAV
International Conference on Computer Aided Verification
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2027 open | 39 | 19โ23 Jul 2027 | Amsterdam ๐ณ๐ฑ | 20 Jan firm | — | — |
| 2026 | 38 | 26โ29 Jul 2026 | Lisbon ๐ต๐น | 28 Jan firm | 79 / 319 | 25% |
| 2025 | 37 | 21โ25 Jul 2025 | Zagreb ๐ญ๐ท | 31 Jan firm | 79 / 305 | 26% |
| 2024 | 36 | 24โ27 Jul 2024 | Montrรฉal ๐จ๐ฆ | 26 Jan +7 days | — | — |
| 2023 | 35 | 17โ22 Jul 2023 | Paris ๐ซ๐ท | 3 Feb firm | 68 / 261 | 26% |
| 2022 | 34 | 7โ10 Aug 2022 | Haifa ๐ฎ๐ฑ | 21 Jan | — | — |
| 2021 | 33 | 18โ23 Jul 2021 | Online | 28 Jan | 79 / 290 | 27% |
| 2020 | 32 | 21โ24 Jul 2020 | Online | 28 Jan | — | — |
| 2019 | 31 | 15โ18 Jul 2019 | New York City ๐บ๐ธ | 7 Feb | — | — |
| 2018 | 30 | 14โ17 Jul 2018 | Oxford ๐ด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ | 31 Jan | 65 / 215 | 30% |
| 2017 | 29 | 24โ28 Jul 2017 | Heidelberg ๐ฉ๐ช | 24 Jan | — | — |
| 2016 | 28 | 17โ23 Jul 2016 | Toronto ๐จ๐ฆ | 29 Jan firm | — | — |
| 2015 | 27 | 18โ24 Jul 2015 | San Francisco ๐บ๐ธ | 6 Feb firm | — | — |
| 2014 — not recorded here, which does not mean the conference did not meet | ||||||
| 2013 | — | — | — | 70 / 209 | 33% | |
| 2012 | — | — | — | 58 / 185 | 31% | |
A missing year does not mean the conference did not meet: coverage before 2012 has not been verified.
Acceptance rate over time
0%30%60%
- 2026 25% 79/319
- 2025 26% 79/305
- 2023 26% 68/261
- 2021 27% 79/290
- 2018 30% 65/215
- 2013 33% 70/209
- 2012 31% 58/185
Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2017, 2019, 2020, 2022, 2024, 2027.
Submissions
Scaled to this conference's own busiest year (319), so the shape is comparable across its editions but not between conferences.
How it has reviewed and published
| Practice | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • | • | • | • |
| Anonymity | ? | ? | ? | D | D | D | D | D | D | D | D | D | |
| Artifact evaluation | • | • | • | • | • | • | • | • | • | • | • |
A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.
Spotted something wrong on this page? Tell us, with a source if you have one ↗