Summer Schools

Link VTSA 2016
The summer school on verification technology, systems & applications takes place at the University of Liège in Liège from August 29–September 2, 2016. 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 Hubert Comon, Thomas Eiter, Jean Krivine, Tobias Nipkow and Ruzica Piskac 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.
Link VTSA 2015
The summer school on verification technology, systems & applications takes place at the University of Koblenz-Landau from August 24–28, 2015. 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.