FMAS2025: Seventh International Workshop on Formal Methods for Autonomous Systems

FMAS 2025 is a 2,5 days peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers. Previous editions are listed on DBLP:https://dblp.dagstuhl.de/db/conf/fmas/index.html.

The thematic coverage of the event includes, but is not restricted to, the following topics: formal methods, autonomous systems and software engineering.