--------------------------------------------------- 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.p...@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
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
