--------------------------------------------------- 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 ([email protected]) 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 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
