September 14, 2026
The paper “*Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata*” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for publication in *Theoretic
July 2, 2026
The paper [“Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars” ](https://doi.org/10.1007/978-3-032-29730-3%5F7)by Alexander Ferber, Ira Fesefeldt, [Thomas N
June 11, 2026
We are pleased to announce that the MOVES group at RWTH Aachen University, together with the University of Twente, will organize CAV 2027, the _39th International Conference on Computer-Aided Verifica
June 5, 2026
The paper “Verifying Sampling Algorithms via Distributional Invariants” by Daniel Zilken, Kevin Batz, Joost-Pueter Katoen and Tobias Winkler has won the Best Paper Award at the Formal Methods Symposiu
May 4, 2026
The paper “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Kaminski (Saarland Univ.), Joost-Pieter Kato
May 4, 2026
The paper entitled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li (ISCAS), Mingshuai Chen (Zhejiang Univ.), Liangran Zhao (Peking Univ.), Naijun Zhan (Peking Univ.), Hu
April 21, 2026
The research paper “Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families” by Sebastian Junges, Luko van der Maas (both Radboud University, Nijmegen), Milan Ceska, Filip Macá
April 20, 2026
The tool paper “Caesar: A Deductive Verifier for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Ma
April 7, 2026
The paper entitled “Verifying STL Properties of Sliding-Window Neural Classifiers under Adversarial Perturbations” by Xaver Fink (CERN+RWTH), Borja Adiego Fernandez (CERN) and Joost-Pieter Katoen has
March 15, 2026
| [ ](https://openreview.net/forum?id=EqC9LsJLIt&referrer=%5BAuthor%20Console%5D%28%2Fgroup%3Fid%3DNFM%2F2026%2FSymposium%2FAuthors%23your-submissions%29) | | -----------------------------------------
March 10, 2026
The tutorial “Probabilistic Model Checking Taken by Storm” by Matthias Volk (Eindhoven Univ. of Technology), Linus Heck, Sebastian Junges (Radboud University), Joost-Pieter Katoen, and Tim Quatmann ha
February 12, 2026
From January 23 to 30, the MOVES Group organised the **10th edition** of its famous **Söllerhaus Workshop** at Hirschegg in Kleinwalsertal, Austria. Again, it was a very successful event, full of rese
February 12, 2026
The paper entitled “Verification of Robust Multi-Agent Systems” by Raphael Berthon, Munyque Myttelmann, (CNRS, LIPN, Sorbonne Paris North University) Joost-Pieter Katoen and Nello Morano (University o
February 8, 2026
The following three papers have been accepted for the 27th Symposium on Formal Methods (2026) in Tokyo, Japan: (1) Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking by Arnd
December 22, 2025
The paper entitled “Multiple Long-Run and omega-Regular Objectives in MDPs” by Julius Ide, Joost-Pieter Katoen, Hannah Mertens and Tim Quatmann has been accepted for TACAS 2026, to be held in Turin, I