Verification, Model Checking & Abstract Interpretation Workshops
Verification, Model Checking & Abstract Interpretation Workshops - 2026
In conjunction with
ACM-SIGACT Symposium on Principles of Programming Languages 2026
Rennes, France
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.
Hotels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France