Das MPI für Informatik organisiert die VTSA-Sommerschule zu Verifikationstechnologie, -systemen und -anwendungen
Teilnehmerinnen und Teilnehmer der VTSA Summer School 2026. Foto: MPI-INF/Bertram Somieski
Unter der Schirmherrschaft von vier Organisationen, die sich der Spitzenforschung verschrieben haben – der Universität Luxemburg, der Universität Lüttich, dem INRIA Nancy und dem MPI für Informatik – verbringen die Teilnehmer eine ganze Woche mit Vorträgen und Diskussionen zu Themen der computergestützten Verifizierung. Fünf Referenten – Maria Paola Bonacina, Mathias Fleury, Mikoláš Janota, Cynthia Kop und Christoph Scholl – stellen bestimmte Verifikationstechnologien und deren Implementierung in einem System vor, um den Ansatz erfolgreich auf reale Verifizierungsprobleme anzuwenden.
Rund 20 Masterstudenten und Doktoranden reisten aus Europa und Südamerika nach Saarbrücken, um von diesen renommierten Referenten zu lernen, dass Verifizierungstechnologie, -systeme und -anwendungen stark voneinander abhängig sind. Außerhalb ihres gewohnten Studienalltags und -umfelds gibt ihnen die Sommerschule die Möglichkeit, sich ganz auf dieses Wissenschaftsgebiet zu konzentrieren, das im Zuge der weltweiten Digitalisierung immer mehr an Bedeutung gewinnt.
/bs