---
title: "28th International Conference on Verification, Model Checking, and Abstract Interpretation: Call for Speakers"
description: "Speak at 28th International Conference on Verification, Model Checking, and Abstract Interpretation. Submission deadline: Sep 16, 2026. Event Jan 11,..."
canonical: https://www.luminik.io/call-for-speakers/directory/28th-international-conference-on-verification-model-checking-and-abstract-interp/
source: html
generated_at: 2026-08-01T13:29:40.042Z
---

[← All calls for speakers](/call-for-speakers/)

# 28th International Conference on Verification, Model Checking, and Abstract Interpretation

Submissions close Sep 16, 2026.

 Submissions close

Sep 16, 2026

 Event dates

Jan 11, 2027

 Location

Mexico City, Mexico, January 11-12, 2027

 Listed on

EasyChair

[Apply on EasyChair ](https://easychair.org/cfp/VMCAI2027)[Event website ](https://conf.researchr.org/home/VMCAI-2027)

This call has closed. The calls below are still open.

This call was listed on EasyChair, and applications go there, not to us. We hold no event page for this conference, so everything above is what the listing itself stated, as ofAug 1, 2026\. Confirm the deadline on the call before you write a submission.

## Other open calls

- [2026 6th International Conference on Robotics, Automation, and Artificial IntelligenceCloses Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/2026-6th-international-conference-on-robotics-automation-and-artificial-intellig/)
- [2026 the 12th International Conference on Mechanical and Electronics EngineeringCloses Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/2026-the-12th-international-conference-on-mechanical-and-electronics-engineering/)
- [2026 The 2nd International Conference on Power Conversion and Control EngineeringCloses Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/2026-the-2nd-international-conference-on-power-conversion-and-control-engineerin/)
- [4th Symposium on Industrial-based Biomedical Engineering ResearchCloses Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/4th-symposium-on-industrial-based-biomedical-engineering-research/)
- [9th Indian Lean Construction Conference - 2026Closes Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/9th-indian-lean-construction-conference-2026/)
- [AI in The New Era - August 2026Closes Aug 1, 2026 · via Sessionize](/call-for-speakers/directory/ai-in-the-new-era-august-2026/)