The next #FMAS2026 milestone is approaching!

Authors of accepted papers: remember that the final version deadline is 17 October 2026 (AOE)

We're looking forward to sharing this year's research with the community!

fmasworkshop.github.io/FMAS2026/

A quick reminder about #FMAS2026 registration:

For each accepted paper, at least one author must register and pay for an on-site FMAS ticket, even if the presentation itself is remote.

Remote participation is free for attendees and additional authors.

fmasworkshop.github.io/FMAS2026/

Did you know #FMAS2026 will be the eighth edition of the International Workshop on Formal Methods for Autonomous Systems?

Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.

fmasworkshop.github.io

Important clarification regarding remote participation at #FMAS2026:

- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely

- Other authors and attendees may join FMAS remotely for free

October is almost here — and so is the next milestone for #FMAS2026!

📅 Author notifications are due on 6 October.

We’re looking forward to sharing more about this year’s programme soon.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems

While we wait for #FMAS2026...

Why not revisit FMAS 2025?

The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:

www.youtube.com/watch?v=wzsw...

#FormalMethods #AutonomousSystems

One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #RuntimeVerification #AutonomousSystems

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

How can evidence from formal methods support the assurance and certification of autonomous systems?

This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems

Why join #FMAS2026?

Two days to hear new research, discuss open challenges, and connect with researchers working across formal methods and autonomous systems.

Participation will be available both in Southampton and online.

17–18 November 2026

fmasworkshop.github.io/FMAS2026/