The Verification, Model Checking and Abstract Interpretation (VMCAI 2026) will be held in Rennes, France.

Topics of interest include, but are not limited to:  Automated Reasoning, Model Checking, Verification, Abstract Interpretation.

Deadline for sending contributions: Sep 15, 2025