iiinova — where your digital self keeps evolving

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

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

fmasworkshop.github.io

International Workshop on Formal Methods for Autonomous Systems

A peer-reviewed, academic workshop that brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems.

001

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

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

012

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 · 16/09/2026

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

fmasworkshop.github.io

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

001

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

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/

fmasworkshop.github.io

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

021

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 · 28/08/2026

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

polgreen.github.io

Elizabeth Polgreen

elizabeth.polgreen[at]ed.ac.uk

010

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

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

010

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 · 07/08/2026

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

fmasworkshop.github.io

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

001

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

Reposted by Formal Methods for Autonomous Systems

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

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

youtube.com

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…

032

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 · 17/07/2026

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

001

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

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/

fmasworkshop.github.io

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

011

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 · 29/06/2026

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

011

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

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

fmasworkshop.github.io

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

000

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 · 23/06/2026

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/

fmasworkshop.github.io

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

011

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

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/

fmasworkshop.github.io

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

021

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 · 09/06/2026

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/

fmasworkshop.github.io

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

021

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

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/

fmasworkshop.github.io

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

111

Reposted by Formal Methods for Autonomous Systems

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

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/

fmasworkshop.github.io

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

012

Reposted by Formal Methods for Autonomous Systems

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

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/

fmasworkshop.github.io

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

003

Reposted by Formal Methods for Autonomous Systems

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

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/

002

Reposted by Formal Methods for Autonomous Systems

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

022