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/
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
