Formal Methods for Autonomous Systems

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

📄 The #FMAS2026 accepted papers are now online! Explore the titles, authors, and abstracts of this year's 12 papers, covering robotics, runtime verification, safety, security, and more. fmasworkshop.github.io/FMAS2026/#ac... #FormalMethods #AutonomousSystems

Registration for #FMAS2026 is open! 🎉 Join us in Southampton on 17–18 November 2026! Registration options are available for FMAS only or FMAS + ICFEM 2026. Find out more: icfem2026.github.io

The #FMAS2026 paper selection is complete! Out of 30 peer-reviewed submissions, 12 papers have been accepted for this year's workshop. Congratulations to the authors, and many thanks to our reviewers and Programme Committee! #FormalMethods #AutonomousSystems

Curious about research from previous editions of FMAS? Explore the *Advances in Formal Methods for Autonomous Systems* special issue, featuring extended contributions from the FMAS community. fmasworkshop.github.io/FMAS2026/ #FMAS2026 #FormalMethods #AutonomousSystems

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/

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

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/

We are delighted to welcome Dr. Elizabeth Polgreen as an invited speaker at #FMAS2026! Her research explores formal and machine learning-based synthesis, including techniques to improve the scalability of verification. polgreen.github.io #FormalMethods #Verification #AI

New to FMAS? Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems. Explore previous FMAS papers on DBLP: dblp.dagstuhl.de/db/conf/fmas... #FMAS2026 #FormalMethods

Thank you to everyone who submitted to #FMAS2026! We’re looking forward to reading your work. Notification of acceptance: 6 October 2026 fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

Today is the #FMAS2026 paper submission deadline! Submit your paper by 20 August 2026, Anywhere on Earth. We look forward to reading your submissions! fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

The #FMAS2026 paper submission deadline is tomorrow! Submit by 20 August 2026, Anywhere on Earth. We look forward to receiving your work on formal methods for autonomous systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

A few extra days to finish your #FMAS2026 submission! The paper deadline has been extended to 20 August 2026, Anywhere on Earth. We welcome short and long papers on formal methods for autonomous systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

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

📢 Deadline extended! The #FMAS2026 paper submission deadline has been extended to: 20 August 2026, Anywhere on Earth The abstract deadline remains tomorrow, 14 August 2026, AOE. More details: fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

Only 3 days to go until the #FMAS2026 abstract deadline! 📅 Abstracts: 14 Aug 2026 AOE 📄 Papers: 17 Aug 2026 AOE We welcome work on formal methods for autonomous systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

Less than two weeks to submit! Abstracts are due on 14 August 2026 AOE. Full papers are due on 17 August 2026 AOE. Short and long papers are welcome, including vision papers, research previews, experience reports, and regular papers. fmasworkshop.github.io/FMAS2026/ #AutonomousSystems #FMAS2026

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

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

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

Preparing a submission for #FMAS2026? Please remember that AI-generated content—including text, images, figures, or code—must be explicitly disclosed in a section titled “AI Usage”. Full submission guidelines: fmasworkshop.github.io/FMAS2026/ #FormalMethods #ResearchIntegrity #AI

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

Looking for some #FMAS2026 inspiration? Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems: www.youtube.com/watch?v=wzsw... #FormalMethods #AutonomousSystems

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/

Looking for some #FMAS2026 inspiration? Recordings of the FMAS 2025 keynote talks are available on YouTube. Catch up on last year’s invited talks and explore current directions in formal methods for autonomous systems: www.youtube.com/watch?v=wzsw... #FormalMethods #AutonomousSystems

Help us reach the right community! If you know researchers working on formal methods, autonomous systems, robotics, runtime verification, safety assurance, explainability, or AI-enabled systems, please share #FMAS2026 with them. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

Preparing a #FMAS2026 submission? Short papers are 6 pages, excluding references: • Vision papers • Research previews Long papers are 15 pages, excluding references: • Experience reports • Regular papers Submission details: fmasworkshop.github.io/FMAS2026/

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

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

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

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

Applied formal methods to an autonomous system in practice? #FMAS2026 welcomes Experience Reports on practical challenges, tools, and methods for autonomous, robotic, automated, or cyber-physical systems. fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems #Robotics

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

Special topic at #FMAS2026: Neurosymbolic AI We invite work on formal methods for systems combining symbolic AI — logic, knowledge graphs, reasoning — with subsymbolic AI, including neural networks and reinforcement learning. fmasworkshop.github.io/FMAS2026/ #NeurosymbolicAI #FormalMethods #AI

Have an early-stage idea on formal methods for autonomous systems? #FMAS2026 welcomes Research Preview papers, and work from PhD students is particularly encouraged. Short papers are 6 pages, excluding references. fmasworkshop.github.io/FMAS2026/ #FormalMethods #PhD

#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

Autonomous systems create distinctive challenges for formal methods: dynamic environments, independent decision-making, safety evidence, certification, and real-world deployment. #FMAS2026 invites work tackling these challenges. fmasworkshop.github.io/FMAS2026/

Do you have colleagues working on formal methods, autonomous systems, robotics, cyber-physical systems, verification, safety assurance, or runtime verification? Please let them know about #FMAS2026! CFP: fmasworkshop.github.io/FMAS2026/ #FormalMethods #AutonomousSystems

What can you submit to #FMAS2026? Short papers: 6 pages, excluding references • Vision papers • Research previews Long papers: 15 pages, excluding references • Experience reports • Regular papers Details: fmasworkshop.github.io/FMAS2026/

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

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