International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Formal Methods for Autonomous Systems
Loading...
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/
Planning ahead for #FMAS2026?
The workshop will support in-person and remote participation. Presenting or participating online will be free.
Submission deadline: 17 Aug 2026 AOE
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/
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/
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/
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/
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/
Applied formal methods to an autonomous, robotic, cyber-physical, or automated system?
#FMAS2026 welcomes experience reports on practical challenges, lessons learned, and tool-supported approaches.
fmasworkshop.github.io/FMAS2026/
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/
Have an early-stage research idea on formal methods for autonomous systems?
#FMAS2026 welcomes research previews, and work from PhD students is particularly encouraged.
Abstract deadline: 14 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
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...
