EATCS Best Paper Award
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
News
CAV 2027 in Amsterdam
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
Best paper award at FM 2026
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
Distinguished Artefact@ETAPS26
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
Paper in Information and Computation
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
Paper at CAV 2026
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á
Tool Paper at CAV 2026
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
Paper at RExAI 2026
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
Paper at NFM 2026
March 15, 2026
| [ ](https://openreview.net/forum?id=EqC9LsJLIt&referrer=%5BAuthor%20Console%5D%28%2Fgroup%3Fid%3DNFM%2F2026%2FSymposium%2FAuthors%23your-submissions%29) | | -----------------------------------------
Storm Tutorial at FM 2026
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
MOVES Söllerhaus Workshop
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
Paper at AAMAS 2026
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
1-2-3 Papers at Formal Methods 2026
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
Test
January 1, 2026
# This is a h1 heading This is a paragraph in the test markdown file. ## This is a h2 heading Here is a list: - Item 1 - Item 2 - Item 3 - Subitem 1 - Subitem 2 - Subsubitem 1 - Subitem 3
Paper at TACAS 2026
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