Post navigation

Paper in Theoretical Computer Science
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 Theoretical Computer Science. The …
EATCS Best Paper Award
July 2, 2026
The paper “Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars” by Alexander Ferber, Ira Fesefeldt, Thomas Noll and Emmett Rayes has received the EATCS Best Paper Award at …
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 Verification, …