Internationaler Workshop über die Zuverlässigkeit stochastischer Systeme am Saarland Informatics Campus

Organisator Professor Benjamin Kaminski während seiner Eröffnungsansprache des ROCKS 2023. Foto:SIC/Philipp Zapf-Schramm

Rund 80 Forscherinnen und Forscher aus Deutschland, Dänemark, den Niederlanden, Tschechien und Österreich treffen sich vom 27. bis zum 29. September am Saarland Informatics Campus zu einem Workshop unter dem Titel „Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (ROCKS)“. Organisiert wird die Veranstaltung von Saar-Uni Professor Benjamin Kaminski, der die Forschungsgruppe „Quantitative Verification“ leitet.

Im Fokus des Workshops liegt die Analyse sogenannter stochastischer Systeme, deren Berechnungen vom Zufall beeinflusst werden können. Dadurch sind zukünftige Systemzustände oder Berechnungsergebnisse nicht exakt vorhersehbar. Stochastische Systeme finden sich beispielsweise in autonomen Fahrzeugen, Industriesteuerungen, oder randomisierten Algorithmen. Der Workshop setzt sich unter anderem damit auseinander, wie man Aussagen über die Zuverlässigkeit solcher Systeme treffen kann; beispielsweise zu garantieren, dass das System im Durchschnitt schnell genug auf Ereignisse oder Benutzereingaben reagiert. Zudem befassen sich die Teilnehmenden mit sogenannten probabilistischen Programmen, die insbesondere im Bereich Machine Learning stark an Relevanz gewonnen haben.

„Was als kleines Event einer Gruppe akademischer Freunde aus Deutschland und den Niederlanden begonnen hat, ist inzwischen zu einem Go-To-Event in der Probabilistic Model Checking Community geworden“, sagt Organisator Prof. Benjamin Kaminski von der Universität des Saarlandes. In mehr als 40 wissenschaftlichen Vorträgen werden an den drei Veranstaltungstagen verschiedene Fragestellungen aus dem Themenfeld der theoretischen Informatik, insbesondere der quantitativen formalen Verifikation erörtert. Einer der Höhepunkte des Workshops ist am Donnerstag die Keynote von Prof. Joël Ouaknine, wissenschaftlicher Direktor am Saarbrücker Max-Planck-Institut für Softwaresysteme.

/pzs

Weitere Infos:
https://www.modestchecker.net/rocks2023/

Kontakt:
Prof. Dr. Benjamin Kaminski
https://quave.cs.uni-saarland.de/benjamin-kaminski/

Hintergrund Saarland Informatics Campus:
900 Wissenschaftlerinnen und Wissenschaftler (darunter 400 Promovierende) und rund 2500 Studierende aus mehr als 80 Nationen machen den Saarland Informatics Campus (SIC) zu einem der führenden Standorte für Informatik in Deutschland und Europa. Vier weltweit angesehene Forschungsinstitute, nämlich das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI), das Max-Planck-Institut für Informatik, das Max-Planck-Institut für Softwaresysteme, das Zentrum für Bioinformatik, sowie die Universität des Saarlandes mit drei vernetzten Fachbereichen und 24 Studiengänge decken das gesamte Themenspektrum der Informatik ab.