[TYPES/announce] VMCAI 2020 Call for Participation

[Damien Zufferey]

--------------------------------------------------------------------------------

                              VMCAI 2020

21st International Conference on Verification, Model Checking, and
Abstract Interpretation

New Orleans, Louisiana, United States, January 19th-January 21st, 2020

https://popl20.sigplan.org/home/VMCAI-2020

--------------------------------------------------------------------------------

CALL FOR PARTICIPATION

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 2020 will be the 21st edition in
the series.

The program of the conference includes 3 invited talks and 21
presentations of selected contributions
(https://popl20.sigplan.org/home/VMCAI-2020#event-overview).

VMCAI 2020 is co-located with the international conference POPL 2020
(https://popl20.sigplan.org/) and it will take place at the JW Marriott
New Orleans.

INVITED SPEAKERS:

- Rajeev Alur (University of Pennsylvania)
- Marta Kwiatkowska (University of Oxford)
- Moshe Vardi (Rice University)

PROGRAMME

The full program is available at:
https://popl20.sigplan.org/program/program-POPL-2020?track=VMCAI

REGISTRATION

Registrations are open through the POPL 2020 registration system:
https://regmaster4.com/2020conf/POPL20/register.php
NB: early registrations are until Dec 18, 2019.

Program Co-Chairs
Dirk Beyer (LMU Munich, Germany)
Damien Zufferey (MPI-SWS, Germany)