Well, the deadline for #FMAS2024 is here. If you are still writing, then you have the rest of today (Anywhere on Earth) to submit your papers. Then it will be over to our brilliant Programme Committee. 🤞 All the details are on our website: fmasworkshop.github.io/FMAS2024/

The #FMAS2024 reviews are nearly finished and we're preparing to send out the notifications to the authors. We would like to thank everyone who sent us their work this year.

The notifications are out, and we would like to thank everyone who sent us their work, and to thank the Programme Committee for their hard work in reviewing the papers. We hope to see as many of you as possible in Manchester for #FMAS2024 and #iFM24 ! iFM Mengwei Xu

This year's edition of the workshop on Formal Methods for Autonomous Systems is coming soon! 11th to 13th of November, in Manchester (UK) alongside iFM FMAS details: buff.ly/4hcCg7J Registration: buff.ly/4fwZq7h #FMAS2024 #ifm24

To celebrate the first 5 years of FMAS we have a special issue with Science of Computer Programming. The 1st paper is Formal verification of timely knowledge propagation in airborne networks by Saswata Paul, Chris McCarthy, Stacy Patterson & Carlos Varela sciencedirect.com/science/articl…

One of the #FMAS2024 invited talks will be given by Dr Silvia Lizeth Tapia Tarifa (mn.uio.no/ifi/english/pe…) Lizeth Tapia She'll be talking to use about "Self-Adaptation in Autonomous Systems" so we look forward to welcoming her to FMAS in Manchester.

Another paper from our special issue with Science of Computer Programming is live! "Towards partial monitoring: Never too early to give in" by Angelo Ferrando ( Angelo Ferrando ) and Rafael Cardoso (friends of the workshop 😉 ) Available to read at: sciencedirect.com/science/articl…

All of the accepted papers for #FMAS2024 are available on our website: fmasworkshop.github.io/FMAS2024#accep… Make a note of what will go on your 'To Read' lit when the proceedings are published!

#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…

Can't make it to #FMAS2024 in Manchester? No worries! You can join us online instead. Grab your spot here: buff.ly/40uTWFC

There has been a lift-off! Matt Luckcuck contemplated FMAS's progress over the past five years and provided an overview of what's in the bag for #FMAS2024.

The last day of #FMAS2024 is a joint session with #iFM2024 at the Whitworth. buff.ly/4fo8w6n Join us there.

The FMAS Best Paper award was announced at #FMAS2024 dinner. Congratulations to Serena Serbinowska, Preston Robinette, Gabor Karsai, and Taylor T Johnson for "Formalizing Stateful Behavior Trees." For more details, attend the #FMAS2024 and #iFM2024 session today at 11:30 (GMT).

The joint #iFM2024 / #FMAS2024 session chaired by Mengwei Xu starts shortly. This session marks the concluding session of #FMAS2024 for this year! It will feature three papers from iFM and the best paper award winner from FMAS.

The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by Taylor T Johnson.

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

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! buff.ly/3ZigOaf

Hey, want the 411 on the research presented at #FMAS2024? Well it's all here, in EPTCS volume 411! 😉 Proceeds this way for our proceedings: buff.ly/3ZigOaf

Xu et al. introduce CAN-Verify to enhance the development and analysis of BDI agents programmed in the Conceptual Agent Notation (Can) language. It can detect syntactic errors before agent execution, interpret agents, and perform model-checking. doi.org/10.1016/j.scic…

Archibald et al. enhance BDI agent modeling with uncertain beliefs, probabilistic actions, and non-deterministic choices. The tool CAN-verify enables error checking, simulation, and strategy synthesis via probabilistic model checkers. doi.org/10.1016/j.scic…