One last job to do.

Our PC chair this year, Mengwei Xu, gives the closing remarks as #FMAS2024 finishes and we hand over to #iFM24

Are you registered for #FMAS2024?

To come and join us in Manchester, you can register for the workshop via the iFM website: https://ifm2024.cs.manchester.ac.uk/registration.html

You can also register for #iFM24 as well, and stay for the whole week.
@iFMconf

Are you registered for #FMAS2024?

To come and join us in Manchester, you can register for the workshop via the iFM website: https://ifm2024.cs.manchester.ac.uk/registration.html

You can also register for #iFM24 as well, and stay for the whole week.

#FMAS2024 will be hosted by The Universtiy of Manchester's Core Technology Facility (https://www.conference.manchester.ac.uk/venues/search/details/?property=63 )

We're looking forward to being there for the 11th and 12th of Novemeber, for the 6th International Workshop on Formal Methods for Autonomous Systems! 🎆

Remeber, #iFM24 will be held in the Whitworth Gallery, so our joint sessions will be there too, on the 13th.

See you there!

#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

If you're attending #FMAS2024 remember that we are co-located with the 19th International Conference on Integrated Formal Methods (iFM).

Are you staying for the whole week? The programme for #iFM24 is here: https://ifm2024.cs.manchester.ac.uk/program.htm