Moves News

ICT Young Researcher Award

On October 30, the ICT Young Researcher Award 2020 has been awarded to Christopher Brix, who did his master thesis entitled Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds in our group. The award is given to students at Bachelor, Master and Ph.D. level at RWTH Aachen […]

Ackermann Award 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. The Ackermann Award is an annual award by the EACSL (European Association of Computer Science Logic) and is given to an outstanding dissertation in the area “Logic in […]

Student Assistant Sought for Teaching Job

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.

Tutorial at FSTTCS

Joshua Moerman will give a tutorial on Automata Learning at FSTTCS 2020, the 40th conference on Foundations of Software Technology and Theoretical Computer Science. It is part of the workshop Advances in Verification. The workshop will take place virtually on 18 December 2020.

Storm Journal Paper

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 Technology Transfer. The paper presents the ins and outs of Storm, the model checker for discrete and continuous Markov models (with and without non-determinism) that […]

Two POPL 2021 Papers

We are delighted to announce that the following papers have been accepted for ACM Principles of Programming Languages 2021:  Relatively Complete Verification of Probabilistic Programs by Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja, and A Pre-Expectation Calculus for Probabilistic Sensitivity by Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Kaminski, Joost-Pieter Katoen and Christoph […]

3rd Place TRA VISIONS 2020 Young Researcher Competition

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 infrastructure based on dynamic fault trees” at the TRA VISIONS 2020 Conference, see

Student Assistant Sought for Research Job

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. The job description can be found here.

Paper at LOPSTR 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 for presentation at the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). The paper presents a denotational semantics for probabilistic programs using generator functions, shows it relation […]

Paper at CONCUR 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 Theory (CONCUR 2020). Out of 112 submissions, 45 papers are accepted. The paper is about formal languages over infinite alphabets. It investigates the class of languages accepted by […]