iiinova — where your digital self keeps evolving

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/09/2026

From theory to practice. #FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems #Verification

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 02/09/2026

We’re looking forward to welcoming our #FMAS2026 invited speakers: 🎙️ Prof. Nils Jansen — Ruhr-University Bochum / Radboud University Nijmegen 🎙️ Dr. Elizabeth Polgreen — University of Edinburgh More details coming soon! fmasworkshop.github.io/FMAS2026/ #FormalMethods #AI #Verification

001

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 31/08/2026

What happens at #FMAS2026? Two days of research, invited talks, and discussion around the challenges of applying formal methods to autonomous systems — from verification and assurance to robotics and AI-enabled systems. 17–18 November 2026 fmasworkshop.github.io/FMAS2026/

021

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 14/08/2026

Today is the #FMAS2026 abstract submission deadline! Submit your abstract by 14 August 2026, Anywhere on Earth. And remember: the full paper deadline has been extended to 20 August 2026 AOE. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 05/08/2026

Could your submission become the #FMAS2026 Best Paper? The award will consider the paper reviews, Programme Committee discussions, and the presentation delivered at the workshop. Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/ #FormalMethods

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 04/08/2026

Invited speaker announcement! We are delighted to welcome Dr Elizabeth Polgreen from the University of Edinburgh to #FMAS2026. Her research explores formal and ML-based synthesis techniques and the use of synthesis to scale verification. polgreen.github.io #FormalMethods #Verification

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 31/07/2026

Looking beyond the workshop? A journal special issue is planned for extended versions of papers accepted at #FMAS2026. Submit your work on formal methods for autonomous systems by 17 Aug 2026 AOE. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

010

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 27/07/2026

Could your submission become the #FMAS2026 Best Paper? The award will consider the reviews, Programme Committee discussions, and the presentation delivered at the workshop. Abstracts: 14 Aug 2026 AOE Papers: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

001

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 23/07/2026

Does your work combine multiple formal methods—or formal and non-formal techniques—to engineer autonomous systems? #FMAS2026 is especially interested in integrated approaches across the software engineering process. Submit by 17 Aug 2026 AOE: fmasworkshop.github.io/FMAS2026/

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 13/07/2026

What kinds of systems are in scope for #FMAS2026? We welcome work on formal methods for autonomous, semi-autonomous, automated, robotic, and cyber-physical systems. Abstracts: 14 Aug 2026 AOE Papers: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 10/07/2026

Planning your summer submissions? Add #FMAS2026 to your calendar: Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE CFP: fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 08/07/2026

Topics for #FMAS2026 include: formal specification, modelling, requirements engineering, runtime verification, safety assurance, case studies, experience reports, and future directions for autonomous systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems #RuntimeVerification

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 06/07/2026

Invited talk announcement! Prof. Jansen is Chair of Artificial Intelligence and Formal Methods at Ruhr-University Bochum, and Associate Professor at Radboud University Nijmegen. More details about his invited talk coming soon! nilsjansen.org #FormalMethods #AutonomousSystems #AI #FMAS2026

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 01/07/2026

A reminder for your summer planning: #FMAS2026 abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE Workshop: 17–18 Nov 2026, Southampton CFP: fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

001

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 24/06/2026

#FMAS2026 will take place in Southampton, UK, on 17–18 November 2026, co-located with ICFEM 2026. Join us for two days on formal methods for autonomous systems. #FormalMethods #AutonomousSystems

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 15/06/2026

Planning your next submission? #FMAS2026 welcomes work on formal methods for autonomous, semi-autonomous, automated, robotic, and cyber-physical systems. Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 14/05/2026

#FMAS2026 is interested in work using formal methods for almost any kind of autonomous system. To get an idea of the scope you can check our website (fmasworkshop.github.io/FMAS2026/) or watch previous invited talks, like these from #FMAS2024 www.youtube.com/playlist?lis...

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 13/05/2026

013

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 12/05/2026

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 11/05/2026

012

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 10/03/2026

We have 'retired' the #FMAS Twitter account. So if you're seeing this, then you're still in the right place to keep up to date with all things FMAS! We also have a LinkedIn group (www.linkedin.com/groups/10019... ) if you're so inclined, but we're still working out what to do with it. #FMAS2026

043

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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

041

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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

101

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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.

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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.

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 19/11/2025

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

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

#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

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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.

031

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

Is one coffee ever enough? We'll be back at 15:30 (CET) and continue with our breakout session!

110

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

122

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

121

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

021

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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.

101

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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.

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

000

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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.

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 18/11/2025

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

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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.

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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.

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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

010

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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

011

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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.

111

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 17/11/2025

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.

122