International Workshop on Formal Methods for Autonomous SystemsContact
We love hearing feedback about FMAS, especially if it’s nice. If you’ve got comments or questions, here’s how to get in contact with us.
General comments of questions can always be sent to our email address: FMASWorkshop@tutanota.com
Questions that are specific to one edition of the workshop can be sent to the organisers mentioned on the workshop page.
Social Media
FMAS is also on various social media sites, where we try to keep you updated with information about FMAS workshops, special issues, and so on.
You can find us on:
- BlueSky: https://bsky.app/profile/fmasworkshop.bsky.social
- Mastadon: https://mastodon.acm.org/@FMASWorkshop
- Twitter: https://twitter.com/FMASWorkshop
When posting about a workshop, we will use a tag ‘#FMAS’ + yyyy so you’ll be able to find posts about FMAS 2024 (for example) using the tag #FMAS2024. If you’re posting about the workshop, which would be great, please use the tag and tag our account too so we can find and re-post.
