Leopoldina
March 21, 2024
Joost-Pieter Katoen has been elected as member of Leopoldina, the German Academy of Sciences. This academy was established in 1652 and is the oldest academy in the world. Katoen is the first computer
News
Paper at OOPSLA 2024
February 24, 2024
The paper entitled “Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions” by Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase and Joost-Pieter Katoe
Nomination for ETAPS 2024 Best Paper Award
February 13, 2024
The paper “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has been nominated for on
ERC Proof-of-Concept Granted
January 18, 2024
The ERC has granted the Proof-of-Concept proposal VERIPROB (A Deductive Verifier for Probabilistic Programs) by Joost-Pieter Katoen. The grant will enables the further development of [Caesar](https://
Two Papers at TACAS 2024
December 22, 2023
The papers “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler and “Learning Explainabl
Paper at AAAI 2024
December 10, 2023
The paper entitled “Natural Strategic Ability in Stochastic Multi-Agent Systems” by Raphael Berthon, Monyque Myttelmann, Antoniello Murano and Joost-Pieter Katoen has been accepted for the 38th AAAI C
Two Papers at Dafny 2024
November 16, 2023
Two papers were accepted at the Dafny 2024 workshop. The paper “Caesar: A Verifier for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski (Saarland University and UCL), Joost-Pi
Tim Quatmann wins a KI-Starter Grant
November 15, 2023
Tim Quatmann has been awarded a KI-Starter Grant for his project proposal “_Verifying AI Systems under Partial Observability_“. The KI-Starter Grant is an initiative of the State North-Rhine Westphali
Paper at POPL 2024
November 7, 2023
The paper entitled “Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs” by Kevin Batz, Tom Biskup, Joost-Pieter Katoen, and Tobias Winkler has been accepted at the 51s
Paper in LMCS Journal
November 7, 2023
The paper entitled “Model Checking Temporal Properties of Recursive Probabilistic Programs” by Tobias Winkler, Christina Gehnen and Joost-Pieter Katoen has been accepted for the special issues devoted
Berthold Vöcking Master Award 2023
November 6, 2023
Tom Biskup has received the [Berthold Vöcking Master Award](https://www.informatik.rwth-aachen.de/cms/informatik/Fachgruppe/Auszeichnungen/~qbix/Preise-fuer-Abschlussarbeiten/#aaaaaaaaaaaqbiw) 2023 fo
Distinguished Artifact at OOPSLA 2023
October 27, 2023
The paper “A Deductive Verification Infrastructure for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja received a distinguished art
Paper in FMSD Journal
September 29, 2023
The paper entitled “_Parameter Synthesis for Markov Models_” by Sebastian Junges, Erika Abraham, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk has been accepted f
KPS 2023
September 28, 2023
MOVES has successfully organised the _[22\. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023)](https://kps2023.moves.rwth-aachen.de)_. KPS is a traditional, bi-annual series
Paper in NeurIPS
September 27, 2023
The paper entitled “Provably Bounding Neural Network Preimages” by Christopher Brix, Suhas Kotha (CMU), Huan Zhang (UIUC), Zico Kolter (CMU), Krishnamurthy (Dj) Dvijotham (Google DeepMind) has been ac