Last week was the 6th International Workshop on Formal Methods for Autonomous Systems held in Manchester. The proceedings are out so you can read the 14 papers from #FMAS2024, each using Formal Methods to tackle the challenges of Autonomous Systems! https://t.co/Upv62X1icY

Aaand we are officially closed! #FMAS2025 is no longer accepting submissions. We appreciate all the contributions made to our workshop. Notification: 6th October 2025 Workshop: 17th-19th November 2025 Details:

Blazing-fast image creation – using just your voice. Try Grok Imagine.

Finalise your papers and submit them! We will be closing the submissions portal in a few hours, so be sure to submit before the end of the day on 28.08 (AOE). #FMAS2025

Have you submitted yet?? The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining! #FMAS2025

Looking to get involved with ROS and Gazebo development? 🔌 We've got two big events this week where you can get plugged in! TOMORROW, Aug 27th, at 9am PDT, we're holding our Gazebo Jetty Test & Tutorial party. 🏝️ Pitch in and help beta test our next Gazebo release! ⬇️⬇️⬇️

Four more days to go! We are looking forward to your submissions. Deadline: 28th August 2025 (AOE) Details: https://t.co/0OsMusj5f5 #FMAS2025

We have extended the deadline for #FMAS2025 to the 28th of August 2025 (still anywhere on Earth)! This gives you all a little more time to polish your papers, if you're intending to send us some of your work. Details:

🚨Deadline Extension The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth) Workshop: 17th - 19th Nov 2025 Send us papers applying #FormalMethods to almost any kind of #Autonomous System More details:

Our AFMAS special issue papers are now available online! Discover them here:

🚨Deadline Extension The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth) Workshop: 17th - 19th Nov 2025 Send us papers applying #FormalMethods to almost any kind of #Autonomous System More details:

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration! https://t.co/XZIDYfqLQw

Special Topic for #FMAS2025: Human-AI Teams! Alongside usual topics, we invite works on FM for human-AI team. We are interpreting AI broadly as autonomous, intelligent, or self-learning systems. If your topic fits, submit a paper by 22.08.2025 (AOE)! https://t.co/oAdEgQ09qZ

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration! https://t.co/MmW0VLu31y...

Our program committee is ready and waiting! If you're doing research with #FormalMethods and #Autonomy, then we're probably interested in your work! Special focus for this year: Human-AI teams! Deadline: 22nd August 2025 Details: https://t.co/vwZuAyP367 #FMAS2025

Looking for ideas on what papers to submit to #FMAS2025? Take a look at the papers from the past 6 years of FMAS. All the proceedings are indexed on DBLP: https://t.co/UczvIZ5TqW Deadline: 22nd Aug 2025 (AoE) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025

Our AFMAS special issue papers are now available online! Discover them here:

Only one month until the deadline for #FMAS2025! We seek submissions that use formal methods to specify, model, or verify autonomous systems. Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 Details:

The lovely people @dblp.org have indexed the proceedings from #FMAS2024 (thanks!) If you want to take a look at the sort of work that #FMAS2025 is interested in, what better place to look than last year's proceedings. Here they are, via DBLP:

#FMAS2025 welcomes papers on Human-AI Teams! Alongside usual topics, we invite works on FM for human-AI team. We are interpreting AI broadly as autonomous, intelligent, or self-learning systems. If your topic fits, submit a paper by 22.08.2025 (AOE)! https://t.co/oAdEgQ09qZ

Considering submitting a paper to #FMAS2025? Feel free to explore our earlier editions available on DBLP:

#KnowYourOC - #ICSE2026 🇧🇷. Meet our Program Committee Chairs: Mira Mezini (@m_mezini) and Thomas Zimmermann (@tomzimmermann), who are leading the effort to shape the technical program for this historic edition of ICSE! Read more: https://t.co/T0GwyV5a8x Submit your work: