All conferences / VMCAI / 2015

VMCAI 2015

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

Held12–14 Jan 2015 WhereMumbai 🇮🇳 RankCORE B Website research.microsoft.com/vmcai2015 ↗

Submission timeline

5 Sep 2014 Abstract registration
12 Sep 2014 Full paper
10 Oct 2014 Notification

12 Jan 2015 Conference opens

What to submit

Format: 18 pages LNCS + Appendix
Proceedings: Springer LNCS — Paywalled, for-profit

Where

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

Mumbai, India 🇮🇳

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

Next: VMCAI 2016 — St. Petersburg 🇺🇸
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.