International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) — международная научная конференция в области Computer Science. Организатор: . Материалы конференции индексируются в базе Scopus.
Рейтинг CORE: B — хорошее качество, признана на национальном уровне. Рейтинг CCF: B — важная конференция.
Издание 2026 года проходит в г. Rennes, Франция. Срок подачи статей истёк (2025-09-15).