Post navigation

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 of Napels) has been accepted …
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 …
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 …