About us

The Eighth International Workshop on Formal Methods for Autonomous Systems is a two-day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.

Important Dates

Fri, Aug 14, 2026
Abstract Submission
Mon, Aug 17, 2026
Paper Submission
Tue, Oct 6, 2026
Notification
Sat, Oct 17, 2026
Final version
Tue, Nov 17, 2026
Workshop start
Wed, Nov 18, 2026
Workshop end

Paper Submission

Research Paper Submission Tracks

Software Engineering
Robotics
Autonomous systems
Formal methods
Neurosymbolic AI

Call for Papers Description

FMAS welcomes submissions that use formal methods to specify, model, or verify autonomous systems, in whole or in part. We are especially interested in work using integrated formal methods. Categories include Short Papers (Vision papers, Research previews) and Long Papers (Experience report papers, Regular papers).

Committee

Organizing Committee

Dr. Matt Luckcuck

Jun.-Prof. Dr. Maike Schwammberger

Dr. Akhila Bairy

Dr. Marie Farrell

Dr. Mengwei Xu

Simon Kolker

Diana Carolina Benjumea Hernandez

Thomas Flinkow

Alberto Tagliaferro