# VMCAI — International Conference on Verification, Model Checking, and Abstract Interpretation

- **Submission deadline**: 2026-09-23
- **Notification date**: 2026-11-06
- **Conference date**: 2027-01-11
- **Location**: Mexico City, Mexico
- **Rankings**: CCF B · CORE B · QUALIS A2
- **Conference Partner Index**: 82.1/100 (ranked #166, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 36
- **Attendees**: 9
- **Canonical page**: https://www.myhuiban.com/conference/217

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2005 | 92 | 27 | 29.3% |
| 2004 | 68 | 22 | 32.4% |
| 2003 | 43 | 20 | 46.5% |
| 2002 | 41 | 22 | 53.7% |

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2026 | 2025-09-10 | 2026-01-11 | Rennes, France |

## Call for papers

List of Topics The program will consist of refereed research papers as well as invited talks. Research contributions may report new results, experimental evaluations, and comparisons of existing techniques. Topics include, but are not limited to: program verification model checking abstract interpretation abstract domains program synthesis static analysis type systems deductive methods program logics first-order theories decision procedures interpolation Horn clause solving program certification separation logic probabilistic programming and analysis error diagnosis detection of bugs and security vulnerabilities program transformations hybrid and cyber-physical systems concurrent and distributed systems verification for quantum computation analysis of numerical properties analysis of smart contracts analysis of neural networks case studies on all of the above topics

## Related conferences

- SPIN — International SPIN Symposium on Model Checking of Software — https://www.myhuiban.com/conference/267
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405
- ICASSP — International Conference on Acoustics, Speech and Signal Processing — https://www.myhuiban.com/conference/429
- PODS — ACM SIGMOD Conference on Principles of DB Systems — https://www.myhuiban.com/conference/138

## Related journals

- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- Pattern Recognition — https://www.myhuiban.com/journal/198
- IEEE Transactions on Neural Networks and Learning Systems — https://www.myhuiban.com/journal/188
- Information Sciences — https://www.myhuiban.com/journal/115
- Computer Networks — https://www.myhuiban.com/journal/26

---
Source: Conference Partner — https://www.myhuiban.com/conference/217 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)