This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
Verification, Model Checking and Abstract Interpretation (VMCAI 2026)
199 199 people viewed this event.
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