International Workshop on Reliability of Stochastic Systems at Saarland Informatics Campus
Organizer Professor Benjamin Kaminski during his opening speech of ROCKS 2023. photo:SIC/Philipp Zapf-Schramm.
About 80 researchers from Germany, Denmark, the Netherlands, the Czech Republic and Austria will meet at the Saarland Informatics Campus from September 27 to 29 for a workshop entitled “Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (ROCKS)”. The event is organized by Saarland University Professor Benjamin Kaminski, who heads the research group “Quantitative Verification”.
The focus of the workshop is on the analysis of so-called stochastic systems. One important property of these systems is, that their calculations are subject to factors of randomness, so that future system states or computation outcomes are not precisely predictable. Stochastic systems can be found, for example, in autonomous vehicles, industrial controls, or randomized algorithms. The workshop will address, among other things, how to make statements about the reliability of such systems; for instance, ensuring that the system responds quickly enough on average to events or user inputs. Additionally, participants will delve into so-called probabilistic programs, which have gained significant relevance in the field of machine learning
“What began as a small gathering among academic friends from Germany and the Netherlands has now become a go-to event in the probabilistic model checking community,” says organizer Prof. Benjamin Kaminski from Saarland University. Over the three days of the event, more than 40 scientific talks will discuss various issues in the field of theoretical computer science, especially quantitative formal verification. A notable highlight will be the keynote address by Prof. Joël Ouaknine on Thursday, who is a scientific director at the Max Planck Institute for Software Systems in Saarbrücken.
/pzs
More Info:
https://www.modestchecker.net/rocks2023/
Contact:
Prof. Dr. Benjamin Kaminski
https://quave.cs.uni-saarland.de/benjamin-kaminski/