[ecoop-info] VTSA 2019: final call for applications

[Jun PANG]

---------------------------------------------------
Application deadline (extended): May 17, 2019
Notification of acceptance (extended): May 20, 2019
---------------------------------------------------

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

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