[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