All conferences / VMCAI
VMCAI
International Conference on Verification, Model Checking, and Abstract Interpretation
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2027 | 28 | 11โ12 Jan 2027 | Mexico City ๐ฒ๐ฝ | 30 Sep +15 days | — | — |
| 2026 | 27 | 12โ13 Jan 2026 | Rennes, Bretagne ๐ซ๐ท | 15 Sep +5 days | 18 / 54 | 33% |
| 2025 | 26 | 20โ21 Jan 2025 | Denver ๐บ๐ธ | 1 Oct +22 days | 20 / 48 | 42% |
| 2024 | 25 | 15โ16 Jan 2024 | London ๐ด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ | 31 Aug | 30 / 74 | 41% |
| 2023 | 24 | 15โ17 Jan 2023 | Boston ๐บ๐ธ | 8 Sep | 17 / 34 | 50% |
| 2022 | 23 | 16โ18 Jan 2022 | Philadelphia ๐บ๐ธ | 2 Sep | — | — |
| 2021 | 22 | 17โ19 Jan 2021 | Online | 11 Oct +6 days | — | — |
| 2020 | 21 | 19โ21 Jan 2020 | New Orleans ๐บ๐ธ | 6 Oct +5 days | — | — |
| 2019 | 20 | 13โ15 Jan 2019 | Lisbon ๐ต๐น | 14 Oct +10 days | — | — |
| 2018 | 19 | 7โ9 Jan 2018 | Los Angeles ๐บ๐ธ | 8 Oct +2 days | 24 / 43 | 56% |
| 2017 | 18 | 15โ17 Jan 2017 | Paris ๐ซ๐ท | 28 Sep +7 days | 27 / 60 | 45% |
| 2016 | 17 | 17โ19 Jan 2016 | St. Petersburg ๐บ๐ธ | 11 Sep | 24 / 67 | 36% |
| 2015 | 16 | 12โ14 Jan 2015 | Mumbai ๐ฎ๐ณ | 12 Sep | 24 / 53 | 45% |
A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.
Acceptance rate over time
- 2026 33% 18/54
- 2025 42% 20/48
- 2024 41% 30/74
- 2023 50% 17/34
- 2018 56% 24/43
- 2017 45% 27/60
- 2016 36% 24/67
- 2015 45% 24/53
Scale runs to 60%; the mid-line marks 30%. No figure published for 2019, 2020, 2021, 2022, 2027.
Submissions
Scaled to this conference's own busiest year (74), so the shape is comparable across its editions but not between conferences.
Who led each edition
Chairs and invited speakers
Across 2 editions, 2 of 8 chairs and invited speakers were women or of another gender — 25%. At this site's own rate of 29%, 2 would be the expectation. The gap is within what chance would produce at these numbers.
Only editions with counted people appear: an edition recorded as mixed and nothing more has no arithmetic behind it, and 1 of them is left out on that ground. The total counts people, not years, so an edition with eight chairs weighs more than one with two. The committee is reported beside the platform, never added to it. The rate this is set against, 29%, is pooled from 362 chairs and invited speakers across 81 editions on this site — an observation about the field as recorded here, not a target.
How it has reviewed and published
| Practice | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • | • | • | • | • |
| Anonymity | S | S | 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 ↗