Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS2026)

The Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS2026) is a two-day peer-reviewed international workshop for researchers working on techniques for the formal verification of autonomous systems. It accepts short and long research paper submissions, including vision papers, research previews, experience reports and regular papers. The workshop aims to present recent work, discuss challenges, and stimulate collaboration between autonomous systems and formal methods researchers.

Opportunity to present peer-reviewed research papers, receive feedback, discuss challenges with peers, and network with researchers in the field.

Researchers working on formal methods for autonomous systems, including authors of short and long papers.

Submit a research paper in one of the workshop tracks according to the Call for Papers.