MOVES seminar

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

DateSpeakerTitleWhere
You?

Past Talks

DateSpeakerTitle
25.05.2021Klara NosanOn computing the Zariski closure of matrix groups
20.04.2021Kevin BatzLatticed k-Induction with an Application to Probabilistic Programs [Slides]
13.04.2021Tobias WinklerModel Checking Probabilistic Recursive Programs [Slides]
16.03.2021Tim QuatmannMulti-objective Optimization of Long-run Average and Total Rewards [Slides, Video (shortened)]
02.03.2021Shahid KhanScalable Reliability Analysis by Lazy Verification
03.09.2020Lutz KlinkenbergGenerating Functions for Probabilistic Programs
27.08.2020Christopher BrixProving Non-Existence of Adversarial Examples in Deep Neural Networks using Symbolic Propagation with Error Bounds
20.08.2020Shahid KhanInitiators and all barriers algorithm for industry-scale BDMP analysis
06.08.2020Joost-Pieter KatoenAutomated Termination Analysis of Polynomial Probabilistic Programs
30.07.2020Alexander HoppenProbabilistic Programming IDE – A Feasibility Study [Slides]
23.07.2020Bahare SalmaniBayesian Inference by Symbolic Model Checking
09.07.2020Marcin SzymczakTowards efficient automated analysis of probabilistic programs [Slides]
25.06.2020Tobias WinklerDerived Automata and an Application to Markov Reward Chains [Slides]
FronleichnamBas WesterbaanA characterisation of ordered abstract probabilities (Bonus seminar)
28.05.2020Kevin BatzTowards an Expressive Assertion Language for Probabilistic Programs
14.05.2020Jurriaan RotLearning Weighted Automata over Principal Ideal Domains [Slides]
30.04.2020Philipp BergerBenchmarking Software Model Checkers on Automotive Code [Slides]
16.04.2020Mingshuai ChenOn ∞-Safety of Stochastic Differential Dynamics [Slides]