Last week of August 2026: MPI for Informatics hosts the Summer School on Verification Technology, Systems & Applications
Participants of the VTSA summer school 2026 Photo: MPI-INF/Bertram Somieski
Sponsored by four organizations dedicated to leading edge science, University of Luxembourg, University of Liège, INRIA Nancy, and MPI for Informatics, participants spend a whole week with lectures and discussions about computer-based verification topics. Five speakers, Maria Paola Bonacina, Mathias Fleury, Mikoláš Janota, Cynthia Kop, and Christoph Scholl, present particular verification technologies and their implementation in a system in order to successfully apply the approach to real world verification problems.
Roughly 20 Master- and PhD-students traveled from Europe and South America to Saarbrücken to learn from these distinguished speakers that verification technology, systems & applications strongly depend on each other. Retreating from their usual studies and environment gives them the opportunity to entirely focus on this field of science that gets more and more important in the wake of digitalization of the entire world.
/bs