[TYPES/announce] 2nd VMCAI Winter School, Call For Participation and Scholarship Applications

Damien Zufferey zufferey at mpi-sws.org
Tue Nov 19 04:19:05 EST 2019


==================================================
CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATION

2nd VMCAI Winter School
New Orleans, Louisiana, United States, January 16-18, 2019
https://popl20.sigplan.org/home/VMCAI-2020#VMCAI-Winter-School
=================================================

ABOUT:

The VMCAI Winter School is the second winter school on formal methods
associated
with VMCAI 2020, which will take place in New Orleans, Louisiana on
January 16-18, 2020.  In the vein of VMCAI, the school is meant to
facilitate interaction, cross-fertilization, and advancement of
hybrid methods that combine verification, model checking, and
abstract interpretation.

The school is aimed primarily at PhD students but we will also
consider applications from senior undergrad and master students who
intend to continue their study in the field of verification.


REGISTRATION AND SCHOLARSHIP APPLICATION:

The registration deadline for the winter school is November 27, 2019.
The registration is *free* but mandatory. Please take into
consideration that the number of attendees and support is limited.
Register as soon you are sure to be able to attend the Winter School.

As part of the registration, you can apply for travel and accommodation
support. Furthermore, we offer to help find room mates to reduce the
accommodation cost. Students with alternative sources of funding are
welcome.


PROGRAM:

The VMCAI Winter School program will feature lectures and tutorials from
both
academia and industry experts in their respective fields.

We have the following speakers already confirmed:
* Rajeev Alur (University of Pennsylvania)
* Igor Konnov (Interchain Foundation)
* Marta Kwiatkowska (University of Oxford)
* Corina Pasareanu (NASA Ames and Carnegie Mellon University)
* Andreas Podelski (University of Freiburg)
* Natasha Sharygina (University of Lugano)
* Helmut Seidl (TU Munich)
* Moshe Vardi (Rice University)
* Mike Whalen (Amazon)
* Valentin Wüstholz (Consensys Diligence)

The lectures range from fundamental topics such as logic and automata to
recent
application of verification in data centers, blockchain, and smart
contracts. A
detailed program including the lectures topics is available at the school
website:
https://popl20.sigplan.org/home/VMCAI-2020#VMCAI-Winter-School

The 2nd VMCAI Winter School will take place at the New Orleans
BioInnovation Center.  The school location and schedule has been
chosen to integrate nicely with POPL (https://popl20.sigplan.org/)
and VMCAI (https://popl20.sigplan.org/home/VMCAI-2020) that will
take place in New Orleans, Louisiana from January 19-25, 2019.


Organizers:
Dirk Beyer, LMU Munich, Germany
Damien Zufferey, MPI-SWS, Germany



More information about the Types-announce mailing list