LOPSTR 2020 Best Paper Award
December 18, 2020
We are happy to announce that the paper “Generating Functions for Probabilistic Programs” by Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Wink
News
Thesis Awards
December 4, 2020
During the virtual _[Tag der Informatik](https://tdi2020.expo-ip.com/stand/1115)_, two students of our group have been awarded for their final theses. Florian Keßler received the _CS Department Award_
Book Foundations of Probabilistic Programming Published
November 29, 2020
The book “Foundations of Probabilistic Programming”, edited by Gilles Barthe, Joost-Pieter Katoen and Alexandra Silva has been published under gold open access. It contains survey chapters of various
ICT Young Researcher Award
October 30, 2020
On October 30, the [ICT Young Researcher Award 2020](https://www.ict.rwth-aachen.de/cms/ICT/Der-Profilbereich/Aktuelle-Meldungen/~hmcjv/Ausschreibung-ICT-Young-Researcher-Awa/lidx/1/) has been awarded
Ackermann Award 2020
October 28, 2020
Benjamin Kaminski will receive the prestigious 2020 Ackermann Award for his Ph.D. dissertation on “Advanced Weakest Precondition Calculi for Probabilistic Programs” which he defended in February 2019\
Student Assistant Sought for Teaching Job
October 22, 2020
We are currently looking for a student assistant, with a background on theoratical computer science, to support our lecture “**Probabilisitic Programming**”. The job description can be found [here](ht
Tutorial at FSTTCS
October 22, 2020
[Joshua Moerman](https://moves.rwth-aachen.de/people/moerman/) will give a tutorial on _Automata Learning_ at [FSTTCS 2020](https://www.fsttcs.org.in/2020/), the 40th conference on Foundations of Soft
Storm Journal Paper
October 5, 2020
The paper ” The Probabilistic Model Checker Storm” by Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk has been accepted for the Journal of Software Tools in Tec
3rd Place TRA VISIONS 2020 Young Researcher Competition
October 1, 2020
Congratulations to Matthias Volk and Norman Weik who got the 3rd place in the Young Researcher Competition in the Category “Rail” for their contribution “Reliability analysis of railway station infras
Two POPL 2021 Papers
October 1, 2020
We are delighted to announce that the following papers have been accepted for ACM Principles of Programming Languages 2021: [ ](https://popl21.hotcrp.com/paper/451)_Relatively Complete Verification of
Student Assistant Sought for Research Job
August 10, 2020
We are looking for a motivated, enthusiastic student assistant to help us develop some features related to Bayesian Networks in the probabilistic model checker, [Storm](https://www.stormchecker.org/).
Paper at LOPSTR 2020
July 19, 2020
The paper entitled “Generating Functions for Probabilistic Programs” by Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Winkler has been accepted
Paper at CONCUR 2020
July 8, 2020
The paper entitled “Residual Nominal Automata” by Joshua Moerman and Matteo Sammartino (Royal Holloway University of London) has been accepted for the 31st International Conference on Concurrency Theo
Paper at ATVA 2020
June 24, 2020
The paper entitled “Verification of indefinite-horizon POMDPs” by Alexander Bork, Sebastian Junges (UC Berkeley), Joost-Pieter Katoen and Tim Quatmann has been accepted for the 18th Int. Symp. on Auto
Two papers at QEST 2020
June 21, 2020
The papers entitled “Bayesian Inference by Symbolic Model Checking” by Bahare Salmani and Joost-Pieter Katoen and “Probabilistic Model Checking of AODV” by Mojgan Kamali and Joost-Pieter Katen have be