[TYPES/announce] VMCAI 2026: first call for papers

[Thomas Jensen]

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://urldefense.com/v3/__https://conf.researchr.org/home/VMCAI-2026__;!!IBzWLUs!WZ6fEIZGvNnALW-yl8c8Ee_TdXCxUk2q3V26QfrycCNldUXHjWsrbwg8bGtIQKxCrilCgqBoW_8k-iWjH9xHM3edxmxhxYyE3S_Mjw4$