18th International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017
Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2017 conference.
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 2017 will be the 18th edition in the series.
PhD students can apply for a grant covering their registrations fees. We encourage particularly female students to apply for this grant. Due to budget restrictions, a limited number of students can benefit from this support. Interested students must apply before Dec 9, 2016, 23:59 AoE, by sending a request to firstname.lastname@example.org and David.Monniaux@imag.fr mentioning their name, affiliation, and contact information (address, email). Applicants will be notified by Dec 13, 2016.