VMCAI

International Conference on Verification, Model Checking, and Abstract Interpretation

Editions listed12 Covered2015–2026 Rank nowCORE B

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	27	12–13 Jan 2026	Rennes, Bretagne 🇫🇷	15 Sep +5 days	—	—
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

0%30%60%

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, 2026.

CORE rank over time

B 2015–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 7 of 7 editions
Typical: 2–22 days
Longest: 22 days
Not known: 5 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: vmcai ↗
CORE: portal entry 1847 ↗
Calendar: Subscribe to VMCAI
Data: All editions as JSON

Notes carried over

Acceptance: 45% (24/53) in 2015, 36% (24/67) in 2016, 45% (27/60) in 2017, 56% (24/43) in 2018, 50% (17/34) in 2023, 41% (30/74) in 2024, 42% (20/48) in 2025

Extensions: 5 days in 2013, 7 days in 2017, 10 days in 2019, 6 days (2020), 22 days (2025), 5 days (2026)

Kept verbatim from the old site while it is being turned into structured data.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.