[TYPES/announce] VTSA 2019 -- Call for applications

[Jun PANG]

UniGR Summer School on Verification Technology, Systems and
Applications (VTSA 2019)

July 1-5, 2019, Belval, Luxembourg

The summer school on verification technology, systems & applications
focuses on fundamental aspects of verification techniques, their
implementation, and their use for concrete applications. It is
organized by Inria Nancy, the Max-Planck-Institut für Informatik in
Saarbrücken, and the Universities of Liège and of Luxembourg, and will
take place at the University of Luxembourg, Belval Campus, Maison du
Savoir from July 1 to 5, 2019.


The following speakers have agreed to lecture at the school:

- Alexey Gotsman: Reasoning about data consistency in distributed systems
- Jochen Hoenicke: Software model checking with Ultimate
- Catalin Hritcu: Program verification with F*
- Marieke Huisman: Verification of concurrent and distributed software
- Cezary Kaliszyk: Artificial intelligence in theorem proving

Participation in the school is free to anybody holding at least a
bachelor degree or equivalent; it includes the lectures, coffee and
lunch breaks, and a school dinner. Attendance is limited to 40
participants. Please apply electronically by sending an email to
Soumya Paul (soumya.paul at uni.lu) including

- a one-page CV,
- an application letter explaining your interest in the school and
your experience in the area
- a copy of your bachelor certificate (or equivalent or a more
significant certificate)
- a short statement if you want to contribute to the student sessions

The deadline for application is May 10, 2019. Notification of
acceptance will be given by May 17, 2019.

Full details can be found on the school Web page at
https://www.mpi-inf.mpg.de/vtsa19