Summer School 2017: Verification Technology, Systems & Applications
The summer school on verification technology, systems & applications takes place at the Max Planck Institute for Informatics at Saarbrücken, Germany from July 31 - August 4, 2017. We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wiesstand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems
The number of participants in the school is limited to 40. We expect participants to hold a bachelor (or higher) degree in computer science (or equivalent) and to have basic knowledge in propositional and first-order logic
The summer school is free of charge. It includes the lectures, daily coffee breaks and lunches and the special summer school dinner on Wednesday. Participants take travel, accommodation and daily living costs on their own. There is a limited number of free shared rooms on campus available for distribution by the selection committee. Please express your interest with your application.
Application
Please apply electronically by sending an email to fkunze@mpi-inf.mpg.de 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
until June 1, 2017 (days left: 48). Notifications on acceptance/rejection will be given by June 15, 2017 (days left: 56).
Registration
The registration will be open to accepted applicants starting on June 19, 2017.
Accommodation
There is a limited number of free shared rooms on campus available for distribution by the selection committee. Please express your interest with your application.
Besides that, participants are responsible for their own accommodation arrangements. We have reserved rooms at a special rate in the following hotels. Please book the rooms yourself using the keyword "VTSA17".
- B&B Hotel Saarbrücken-Hbf
58.50 €, single room, breakfast included (reservation valid until June 26, 2017, so be fast) - ibis Hotel Saarbrücken
70-81 €, single room, breakfast 11 € (reservation valid until July 03, 2017)
For more information please click "Further Official Information" below.
This opportunity has expired. It was originally published here:
http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa17/