The FMAS community engages in lively discussion sessions on topics including the formal specification, modelling and verification of autonomous systems. Our notes, post-its and whiteboards capture the mood of the community. They include unsolved problems, research gaps, and topics of interest. We encourage researchers to browse our discussion notes for ideas and future FMAS publications.

The 2025 workshop in Paris held discussions on the grand challenges of FMAS, including human-computer interaction, uncertainty and scalability. The effects of AI and LLMs on FMAS research as well as scientific events and publishing was addressed with open questions, challenges and potential solutions.