Formal Methods for Autonomous Systems

@fmasworkshop.bsky.social

179 Followers 497 Following

International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger Skeets by Matt Luckcuck & Akhila Bairy Website: https://fmasworkshop.github.io

The front of the Core Technology Facility, in Manchester. A brick, metal, and glass facade. The sun is shining weakly.
Mengwei gives the FMAS closing remarks, slides projected on a large screen.