FMASWorkshop
@fmasworkshop
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Tweets by @MattLuckcuck
ID: 1366319829385416704
https://fmasworkshop.github.io/ 01-03-2021 09:30:14
1,1K Tweet
524 Takipçi
1,1K Takip Edilen
#FMAS2024 will be held in the University of Manchester's Core Technology Facility UoMConferences The shared invited talk and joint session (on the 13th) are part of #iFM24 so they will be in The Whitworth Gallery the Whitworth FMAS Venue details: fmasworkshop.github.io/FMAS2024/#venu…