kongre.net
Welcome to kongre.net
IC
ConferenceIn person

28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027)

Let others know you'll be there. This does not register you for the event.

Welcome to kongre.net
Welcome to kongre.net
Official website (opens in a new tab)

Call for Papers

Submissions are handled by the organiser

View submission details

Registration

Registration is handled by the organiser

Go to registration(opens in a new tab)

Key facts

28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027) is a conference held 11 – 12 January 2027 in Hilton Mexico City Reforma, Mexico City, Mexico.

Dates:
11 – 12 January 2027
Format:
In person
Venue:
Hilton Mexico City Reforma, Mexico City, Mexico
Subjects:
Computer & Information Sciences, Software Engineering & Architecture
Official website:
conf.researchr.org/home/VMCAI-2027
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. VMCAI 2027 will be the 28th edition in the series.

Who should attend

Researchers from the communities of Verification, Model Checking, and Abstract Interpretation.

Organising Committee

Dominik Klumpp - Co-chair, LIX, CNRS, Ecole Polytechnique, France Caterina Urban - Co-chair, Inria - École Normale Supérieure, France

Keynote speakers

View speakers

Isabella Mastroeni, Cezara Drăgoi

Venue & travel Hilton Mexico City ReformaMexico City, MexicoVenue detailsWho is going? See who is planning to attend and say you are goingSee who is going

Advertisement

Related events