Caterina Urban, Ferruccio Damiani, and Marie Farrell on stage.

General chair @caterinaurban.bsky.social opening #ifm25 at Inria Paris with PC chairs Ferruccio Damiani and Marie Farrell. 1/2

Any idea where FMAS is hosted this year? 😀
/s

#FMAS2025 #iFM25

FMAS is back this year, hosted by #iFM25 in Paris.

If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.

Deadline is 22nd Aug 2025 (AoE)

All the details are on our website: fmasworkshop.github.io/FMAS2025/

#FMAS2025