The MOVES seminar is bi-weekly on Tuesdays at 10:00. It takes place in the virtual room at https://rwth.zoom.us/my/moves. (When a different URL is used for a specific talk, this will be indicated with a *.)
If you want to give a talk, please inform Alexander Bork. Work in progress is also welcome!
Also have a look at the UnRAVeL seminar on Wednesdays (bi-weekly). And have a look at the Survey Lectures.
Upcoming Talks
| Date | Speaker | Title | Where |
|---|---|---|---|
| You? |
Past Talks
| Date | Speaker | Title |
|---|---|---|
| 25.05.2021 | Klara Nosan | On computing the Zariski closure of matrix groups |
| 20.04.2021 | Kevin Batz | Latticed k-Induction with an Application to Probabilistic Programs [Slides] |
| 13.04.2021 | Tobias Winkler | Model Checking Probabilistic Recursive Programs [Slides] |
| 16.03.2021 | Tim Quatmann | Multi-objective Optimization of Long-run Average and Total Rewards [Slides, Video (shortened)] |
| 02.03.2021 | Shahid Khan | Scalable Reliability Analysis by Lazy Verification |
| 03.09.2020 | Lutz Klinkenberg | Generating Functions for Probabilistic Programs |
| 27.08.2020 | Christopher Brix | Proving Non-Existence of Adversarial Examples in Deep Neural Networks using Symbolic Propagation with Error Bounds |
| 20.08.2020 | Shahid Khan | Initiators and all barriers algorithm for industry-scale BDMP analysis |
| 06.08.2020 | Joost-Pieter Katoen | Automated Termination Analysis of Polynomial Probabilistic Programs |
| 30.07.2020 | Alexander Hoppen | Probabilistic Programming IDE – A Feasibility Study [Slides] |
| 23.07.2020 | Bahare Salmani | Bayesian Inference by Symbolic Model Checking |
| 09.07.2020 | Marcin Szymczak | Towards efficient automated analysis of probabilistic programs [Slides] |
| 25.06.2020 | Tobias Winkler | Derived Automata and an Application to Markov Reward Chains [Slides] |
| Fronleichnam | Bas Westerbaan | A characterisation of ordered abstract probabilities (Bonus seminar) |
| 28.05.2020 | Kevin Batz | Towards an Expressive Assertion Language for Probabilistic Programs |
| 14.05.2020 | Jurriaan Rot | Learning Weighted Automata over Principal Ideal Domains [Slides] |
| 30.04.2020 | Philipp Berger | Benchmarking Software Model Checkers on Automotive Code [Slides] |
| 16.04.2020 | Mingshuai Chen | On ∞-Safety of Stochastic Differential Dynamics [Slides] |