31 July - 4 August 2017, 10th International Summer School on Verification Technology, Systems & Applications, Saarbrücken, Germany
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 Wies stand 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 school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.