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 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

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.

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 last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.

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 last paper for this session, "Analyzing many simulations of hybrid programs in Lince", is being presented by José Proença.

Angelo Ferrando is presenting his vision paper titled "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems".

First paper presentation for the day titled "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" is being presented by Marlow Fawn.

Session 3, chaired by Silvia Lizeth Tapia Tarifa, is about to start soon and will focus on Formal Verification of Cyber-Physical Systems. This session has one full paper presentation and two short paper presentations.

After that enlightening talk by Prof. Dr. André Platzer, we're off to put some coffee in our system and reflect! If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time. We'll be back at 10:30 (CET).

The keynote talk by Prof. Dr. André Platzer has started! Title: Logic of Autonomous Dynamical Systems If you are unable to attend, the talk will be recorded and uploaded to YouTube later.

A beautiful morning in Paris! Registrations are still underway. Collect your badges and come to see our keynote speaker, Prof. Dr. André Platzer, speak!

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 final talk for the day, titled "Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains", will be presented by Diana Benjumea Hernandez. Diana talks about the Safe-ROS architecture that helps develop reliable and verifiable autonomous robots.

First paper of this session: "Mutation Testing for Industrial Robotic Systems" being presented by Sylvain Hallé. He talks about exploring the adaptation of mutation testing to IRS by defining domain-specific mutation operators.

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

A (bit late but a) warm welcome to the 7th edition of #FMAS from Maike Schwammberger! 🙂

The next session, chaired by Delphine Longuet, is about "Robot Architectures". We'll have two exciting full papers in this session.

We will be back at 15:30 (CET)!

The second paper for this session, "Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case" is being presented by Amira Elouazzani.

Ishan Saxena presents their paper titled "Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions". The topic concerns using Scene Graphs to formalize spatial system properties.

Maike Schwammberger is giving an overview of the program for #FMAS2025.

#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.

We are hiring! Suzanne Embury and I are looking for a talented Ph.D. student 👩‍🎓👨‍🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools. www.findaphd.com/phds/project...

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~ The first positions at the Centre for Formal Methods and Future Computing (FORM, https://www.sdu.dk/form) are here! You'll work on the formalisation of computer science as part of a global initiative, CSLib, in […]

Meet the scientfic program coordinators of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society). 🧑‍💻 The detailed program is available! easychair.org/smart-progra... 📢 Registration is open! lnkd.in/dwAhYj8T #FormalMethods #Recife #Brazil

#MULCIA: Postdoc positions in formal methods and programming languages (The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark). tinyurl.com/25blteat #PostDoc #CompSci

"But when the team looked at the employees’ actual work output, they found that the developers had completed tasks 20% slower when using AI than when working without it. Researchers were stunned. “No one expected that outcome. We didn’t even really consider a slowdown as a possibility.” 🎁link

Have you grabbed your badge yet? Registrations are underway. Find us at Inria. maps.app.goo.gl/54DkmWhus3sU...

The D-Day is here! #FMAS2025 officially starts today at 13:30 (CET). Looking forward to seeing you in Paris (or online)!

We are happy to present the joint speaker for FMAS and iFM: Prof. Paula Herber. She'll be talking about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems". More info can be found here: fmasworkshop.github.io/FMAS2025/

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/

We have 10 accepted papers this year. Congratulations to all the authors! You can have a look at the accepted papers here: buff.ly/yS7rAKE

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/