Formal Methods for Autonomous Systems

FM 2026 - Doctoral Symposium - FM 2026 FM 2026 Doctoral Symposium, May 18 or 19, 2026

#FM2026 will also host the FM Doctoral Symposium, for PhD students to present and discuss their work on #Formal Methods, meet other PhD students, get early feedback, and talk with senior academics about research and career strategy.

Details at:

FM 2027: Call for Organizers · Formal Methods Europe FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in…

FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe

Dates
* Optional 01 Dec 2025: Expression of Interest
* 15 Jan 2026: Proposals
* 15 Feb 2026: Notification

Details: www.fmeurope.org/2025/09/14/f...

Book Review: Domain-Specific Languages – Effective Modeling, Automation, and Reuse · Formal Methods Europe

New Book Review:

Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"

www.fmeurope.org/2025/11/26/b...

#FormalMethods

Book Review: Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications · Formal Methods Europe

New Book Review

Thao Dang reviews Chuchu Fan''s book "Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications"

www.fmeurope.org/2025/11/26/b...

#FormalMethods

And with that amazing session, it's time for us to bid farewell! 🙁
#FMAS2025 comes to an end!

Thank you to all the participants, attendees, the program committee, and the
chairs for making this event a success!

-- Organizing Committee

*the last paper of this session

The paper of this session, "The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification", is an #iFM paper and is being presented by @determineddust.bsky.social

The paper "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...

Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".

The first paper of #iFM, "Formal Modelling of Trust in Autonomous Delivery Vehicles" is being presented now by Manar Altamimi.

We will be back after coffee for the final session of #FMAS2025!

This session will be chaired by our PC Chair, Maike Schwammberger, and it contains two #iFM papers and the best paper from #FMAS2025.

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

Did you ever wish to explore the use of Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems?
Prof. Paula Herber is giving the keynote talk on this right now! #FMAS2025 #iFM

If you can't attend the talk, it'll be recorded and uploaded online.

#iFM2025 kicks off with a bang!
General chair, Caterina Urban, and PC Chairs Ferruccio Damiani and Marie Ferrell, welcoming guests!

The last day of #FMAS2025 is about to start! It's a joint session with iFM.

Prof. Paula Herber is going to kick off iFM with her keynote talk about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".

A very lively and enriching discussion session finally comes to an end, as well
as day 2 of #FMAS2025!

See you guys at the dinner!

#FMAS2025 Discussion sessions are underway!
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage

Aaaand the winner is...
"Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell

Mahdi will present the paper tomorrow during the joint session with iFM.

Continuing the tradition (started last year), our PC Chair, Maike Schwammberger, introduces the best paper award..
Can you guys guess who it is??

Is one coffee ever enough?

We'll be back at 15:30 (CET) and continue with our breakout session!

The paper "Context-aware, Ante-hoc Explanations of Driving Behaviour" by Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, and Eike Möhlmann is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...

The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.

The paper "Model Learning for Adjusting the Level of Automation in HCPS" by Mehrnoush Hajnorouzi, Astrid Rakow, and Martin Fränzle is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...

Mehrnoush Hajnorouzi presenting their work on "Model Learning for Adjusting the Level of Automation in HCPS".

The next session, with two full paper presentations, on Formally Modelling of Human Factors, is starting soon!
Session chair: Mario Gleirscher.

The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...

#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky

We'll be back after lunch at 13:30 (CET).

The paper "Analyzing many simulations of hybrid programs in Lince" by Reydel Arrieta Olano, José Proença, and Patrick Meumeu Yomsi is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...

The last paper for this session, "Analyzing many simulations of hybrid programs in Lince", is being presented by José Proença.

The paper "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems" by Angelo Ferrando is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...