All conferences / VMCAI / 2026

VMCAI 2026

27th International Conference on Verification, Model Checking, and Abstract Interpretation

Held12–13 Jan 2026 WhereRennes, Bretagne 🇫🇷 RankCORE B Website conf.researchr.org/home/VMCAI-2026 ↗

Submission timeline

15 Sep 2025 Full paper AoE ~~10 Sep 2025~~ → 15 Sep 2025 +5 days
6 Nov 2025 Notification

12 Jan 2026 Conference opens

What to submit

Format: 20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool)
Proceedings: Springer LNCS — Paywalled, for-profit
Reviewing: Single blind
Artifacts: VMCAI 2026 makes available the option to submit an artifact along with a paper.
Chairs and invited speakers: Only men How this is counted
Co-located with: Co-located with POPL.

Call for papers

As first published VMCAI-2026.txt · TXT · shown below

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at conf.researchr.org/home/VMCAI-2026.

VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation, facilitating
interaction, cross-fertilization, and advancement of hybrid methods that
combine these and related areas. We invite regular papers, tools papers,
and case studies.

VMCAI 2026 will take place during January 12-13, 2026 as a physical
(in-person) event in Rennes, France, co-located with POPL 2026.

Submission deadline: 10th September 2025.

Notification: 6th November 2025

For more information, please visit the VMCAI 2026 website:
https://conf.researchr.org/home/VMCAI-2026

Where

Loads tiles from OpenStreetMap, which will see your IP address.

Rennes, Bretagne, France 🇫🇷

Acceptance rate

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.

Nearby editions

Previous: VMCAI 2025 — Denver 🇺🇸
Next: Not yet announced
Series: All 12 listed editions of VMCAI →

Elsewhere

DBLP: vmcai ↗
CORE: portal entry 1847 ↗
Calendar: Subscribe to VMCAI
Data: This series as JSON

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.