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.

INVITED SPEAKERS:

• 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 abou@irif.fr and David.Monniaux@imag.fr mentioning their name, affiliation, and contact information (address, email). Applicants will be notified by Dec 13, 2016.

CONFERENCE PROGRAM:

https://conf.researchr.org/track/VMCAI-2017/VMCAI-2017-papers#program

PROCEEDINGS

http://link.springer.com/book/10.1007%2F978-3-319-52234-0