Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems

TL;DR

The FMAS 2025 workshop showcased international research applying formal methods to address challenges in autonomous systems, fostering community growth and collaboration among diverse institutions.

Contribution

This volume documents the latest research and discussions from FMAS 2025, highlighting ongoing advancements and international collaboration in formal methods for autonomous systems.

Findings

Diverse international participation in formal methods research.

Continued growth of the FMAS community.

Fostering collaboration between academia and industry.

Abstract

This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring together leading researchers who are using formal methods to tackle the unique challenges that autonomous systems present, so that they can publish and discuss their work with a growing community of researchers. FMAS 2025 was co-located with the 20th International Conference on integrated Formal Methods (iFM'25), hosted by Inria Paris, France at the Inria Paris Center. In total, FMAS 2025 received 16 submissions from researchers at institutions in: Canada, China, France, Germany, Ireland, Italy, Japan, the Netherlands, Portugal, Sweden, the United States of America, and the United Kingdom. Though we received fewer submissions than last year, we are encouraged to see the submissions being sent from a wide range of countries. Submissions come from both past and new FMAS authors, which shows us that the existing community appreciates the network that FMAS has built over the past 7 years, while new authors also show the FMAS community's great potential of growth.