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

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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

FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS

This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025). FMAS brings together researchers working on a range of techniques for the formal…

youtube.com

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

FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS

This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025). FMAS brings together researchers working on a range of techniques for the formal…

youtube.com

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/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

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/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Topics for #FMAS2026 include formal specification, modelling, requirements engineering, runtime verification, safety assurance, tool-supported methods, case studies, and future directions for autonomous systems. CFP: fmasworkshop.github.io/FMAS2026/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Working on neurosymbolic AI? #FMAS2026 invites papers on formal methods for hybrid symbolic/subsymbolic systems: differentiable reasoning, LLM knowledge integration, logical formula learning, explainability, benchmarks, and applications. fmasworkshop.github.io/FMAS2026/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Working on formal specification, modelling, verification, or assurance for autonomous systems? Consider submitting to #FMAS2026! Abstract deadline: 14 Aug 2026 AOE Paper deadline: 17 Aug 2026 AOE fmasworkshop.github.io/FMAS2026/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Autonomous systems raise hard questions for formal methods: uncertainty, dynamic environments, decision making, safety evidence, and more. #FMAS2026 is looking for work tackling these challenges. CFP: fmasworkshop.github.io/FMAS2026/

Eighth International Workshop on Formal Methods for Autonomous Systems

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

fmasworkshop.github.io

Want to see the kind of work presented at FMAS? Previous editions are indexed on DBLP: dblp.dagstuhl.de/db/conf/fmas... Then consider submitting your latest work to #FMAS2026: fmasworkshop.github.io/FMAS2026/

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. CFP: fmasworkshop.github.io/FMAS2026/