#FMAS2024 will be held in the University of Manchester's Core Technology Facility.

The shared invited talk and joint session (on the 13th) are part of #iFM24, so they will be in The Whitworth Gallery.

See our website for more details: https://fmasworkshop.github.io/FMAS2024/#venue-and-registration

Sixth International Workshop on Formal Methods for Autonomous Systems

FMAS 2024 is a two-and-a-half day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verif...

International Workshop on Formal Methods for Autonomous Systems