VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation, facilitating
interaction, cross-fertilization, and advancement of hybrid methods that
combine these and related areas. We invite regular papers, tools papers,
and case studies.

VMCAI 2026 will take place during January 12-13, 2026 as a physical
(in-person) event in Rennes, France, co-located with POPL 2026.

Submission deadline: 10th September 2025.

Notification: 6th November 2025

For more information, please visit the VMCAI 2026 website:
https://conf.researchr.org/home/VMCAI-2026