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 2024 workshop in Manchester held discussions on the challenges and solutions regarding FMAS in the real and physical world, the use of AI in formal methods, and the societal impacts of FMAS.