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.
- Pascal Cuoq (Trust-in-Soft)
- Ernie Cohen (Amazon Web Services)
- Jasmin Fisher (Microsoft Research)
SUPPORT FOR STUDENTS:
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 email@example.com and David.Monniaux@imag.fr mentioning their name, affiliation, and contact information (address, email). Applicants will be notified by Dec 13, 2016.