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
News
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
Paper in JAR
June 15, 2020
The paper entitled “Multi-Cost Bounded Trade-off Analysis in MDP” by Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen and Tim Quatmann has been accepted for the Journal of Automated Reasoning. Th
Paper at EDCC 2020
June 4, 2020
The paper entitled “Explaining Boolean-logic Driven Markov Processes using GSPNs” authored by Shahid Khan, Joost-Pieter Katoen and Marc Bouissou (EDF) has been accepted for the European Dependable Com
A New Job Opportunity as a Student Assistant
June 2, 2020
We are looking for a talented student assistant to apply formal methods in the context of wireless networks. The job description can be found [here](https://moves.rwth-aachen.de/wp-content/uploads/Dis