B
VMCAI
Verification, Model Checking and Abstract InterpretationQuick take: Established international conference with solid peer-review standards.Recent acceptance rate: 33.33% (2026).
33.33%
acceptance (2026)
18
papers accepted (2026)
54
submissions (2026)
⏰
2027 Submission Deadline — Paper Submission
AoE timezone
Deadline Passed
Paper SubmissionOct 1, 2026, 11:59 AM2026-09-30 23:59 (AOE)
Conference Dates & LocationJanuary 11-12, 2027Mexico City, Mexico
Acceptance-rate trend
Data: lixin4ever/Conference-Acceptance-RatePapers per year
Rank history (CORE → ICORE)
A* Flagship · A Premier · B Established · C RecognizedYear-by-year detail
| Year | Submitted | Accepted | Rate | Tiers | Location |
|---|---|---|---|---|---|
| 2026 | 54 | 18 | 33.33% | — | |
| 2025 | 48 | 20 | 41.67% | — | |
| 2024 | 74 | 30 | 40.54% | — | |
| 2023 | 34 | 17 | 50% | — | |
| 2022 | 48 | 22 | 45.83% | — | |
| 2021 | 48 | 23 | 47.92% | — |