International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

International Conference on Verification, Model Checking, and Abstract Interpretation

VMCAI 2017

Paris, January 15-17, 2017

CALL FOR PARTICIPATION

http://conf.researchr.org/home/VMCAI-2017


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.

The program of the conference includes 3 invited talks and 27 presentations of selected contributions.

VMCAI'17 is co-located with the international conference POPL'17 <http://popl17.sigplan.org/home>,
and it will take place in the Paris Jussieu Campus.


INVITED SPEAKERS:

- Pascal Cuoq (Trust-in-Soft)
- Ernie Cohen (Amazon Web Services)
- Jasmin Fisher (Microsoft Research)

PROGRAMME
The full programme is available at:
http://conf.researchr.org/home/VMCAI-2017

REGISTRATION:

Registrations are open: <http://conf.researchr.org/attending/VMCAI-2017/registration>
NB: early registrations are until Dec 17, 2016.

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.