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
I was happy to present at the iFM 2025 conference our work on the CAISAR platform. Thanks #FMAS2025 !
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".
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.
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.
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 Potato-Physical and Autonomous Systems".
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
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 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...
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 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...
The paper "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" by Marlow Fawn and Matthias Scheutz is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...
And with that, we wrap up day 1 of #FMAS2025!
Thank you everyone for joining us today.
Tomorrow at 9:00 AM (CET), Prof. Dr. André Platzer will present a keynote on "Logic of Autonomous Dynamical Systems," exploring the logical specification and verification of Cyber-Physical Systems.
The paper "Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains" by Diana C. Benjumea, Marie Farrell, and Louise A. Dennis is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...
The paper "Mutation Testing for Industrial Robotic Systems" by Marcela Gonçalves dos Santos, Sylvain Hallé, and Fábio Petrillo is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...
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
This paper "Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case", by Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, & Nicola Bastianello is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...
You can find the paper Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions by Ishan Saxena, Bernd Westphal, and Martin Fränzle in the #FMAS2025 proceedings: dx.doi.org/10.4204/EPTC...
#FMAS2025 is starting soon!
Starting off with a welcome session by Maike Schwammberger, the PC Co-Chair, followed by two talks on Run-time Monitoring and Robustness of Cyber-Physical Systems.
The D-Day is here!
#FMAS2025 officially starts today at 13:30 (CET).
Looking forward to seeing you in Paris (or online)!
Join us in welcoming keynote speaker Alexander von Humboldt Prof. Dr. André Platzer at #FMAS2025 on 18.11.2025 at 09:00.
He will delve into the intriguing topic of the "Logic of Autonomous Dynamical Systems".
You can find the abstract here: fmasworkshop.github.io/FMAS2025/
One more week to go until #FMAS2025!
Today is the last day to register for remote participation.
ifm2025.ens.psl.eu/registration/
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
This year again, #FMAS2025 is colocated with iFM.
You can register for the conference here: ifm2025.ens.psl.eu/registration/
