[TYPES/announce] VMCAI 2017 - Paris January 15-17 - call for participation
David Monniaux
david.monniaux at imag.fr
Fri Nov 25 04:55:01 EST 2016
International Conference on Verification, Model Checking, and Abstract Interpretation
VMCAI 2017
Paris, January 15-17, 2017
CALL FOR PARTICIPATION
International Conference on Verification, Model Checking,
and Abstract Interpretation
VMCAI 2017
Paris, January 15-17, 2017
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 at irif.fr> and <David.Monniaux at imag.fr>
mentioning their name, affiliation,
and contact information (address, email). Applicants will
be notified by Dec 13, 2016.
--
Directeur de recherche au CNRS, laboratoire VERIMAG
http://www-verimag.imag.fr/~monniaux/
More information about the Types-announce
mailing list