Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Skeets by Matt Luckcuck & Akhila Bairy
Pinned
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly
Do you work with automated, semi-autonomous, or fully autonomous systems?
Then submit your paper to our workshop! We are co-located with iFM 2025.
Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (#iFM2025)
Details: buff.ly/VZaDX0m
#FMAS2025
Then submit your paper to our workshop! We are co-located with iFM 2025.
Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (#iFM2025)
Details: buff.ly/VZaDX0m
#FMAS2025
We are happy to present the joint speaker for FMAS and iFM: Prof. Paula Herber.
She'll be talking about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".
More info can be found here: fmasworkshop.github.io/FMAS2025/
She'll be talking about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".
More info can be found here: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
November 12, 2025 at 11:17 AM
We are happy to present the joint speaker for FMAS and iFM: Prof. Paula Herber.
She'll be talking about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".
More info can be found here: fmasworkshop.github.io/FMAS2025/
She'll be talking about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".
More info can be found here: fmasworkshop.github.io/FMAS2025/
Join us in welcoming keynote speaker Alexander von Humboldt Prof. Dr. André Platzer at #FMAS2025 on 18.11.2025 at 09:00.
He will delve into the intriguing topic of the "Logic of Autonomous Dynamical Systems".
You can find the abstract here: fmasworkshop.github.io/FMAS2025/
He will delve into the intriguing topic of the "Logic of Autonomous Dynamical Systems".
You can find the abstract here: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
November 11, 2025 at 11:17 AM
Join us in welcoming keynote speaker Alexander von Humboldt Prof. Dr. André Platzer at #FMAS2025 on 18.11.2025 at 09:00.
He will delve into the intriguing topic of the "Logic of Autonomous Dynamical Systems".
You can find the abstract here: fmasworkshop.github.io/FMAS2025/
He will delve into the intriguing topic of the "Logic of Autonomous Dynamical Systems".
You can find the abstract here: fmasworkshop.github.io/FMAS2025/
One more week to go until #FMAS2025!
Today is the last day to register for remote participation.
ifm2025.ens.psl.eu/registration/
Today is the last day to register for remote participation.
ifm2025.ens.psl.eu/registration/
November 10, 2025 at 11:17 AM
One more week to go until #FMAS2025!
Today is the last day to register for remote participation.
ifm2025.ens.psl.eu/registration/
Today is the last day to register for remote participation.
ifm2025.ens.psl.eu/registration/
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
November 6, 2025 at 11:17 AM
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
We have 10 accepted papers this year. Congratulations to all the authors!
You can have a look at the accepted papers here: buff.ly/yS7rAKE
You can have a look at the accepted papers here: buff.ly/yS7rAKE
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly
November 3, 2025 at 11:17 AM
We have 10 accepted papers this year. Congratulations to all the authors!
You can have a look at the accepted papers here: buff.ly/yS7rAKE
You can have a look at the accepted papers here: buff.ly/yS7rAKE
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
October 31, 2025 at 11:17 AM
Want to attend #FMAS2025 but can't travel to Paris?
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
Worry not! FMAS runs as a hybrid event.
Register here to attend online: ifm2025.ens.psl.eu/registration/
This year again, #FMAS2025 is colocated with iFM.
You can register for the conference here: ifm2025.ens.psl.eu/registration/
You can register for the conference here: ifm2025.ens.psl.eu/registration/
Registration
Registration is now open! New Registration Update Registration Early Registration Deadline: 25 October 2025 At least one author per accepted paper or PhD Symposium presentation must register by the…
ifm2025.ens.psl.eu
October 29, 2025 at 11:17 AM
This year again, #FMAS2025 is colocated with iFM.
You can register for the conference here: ifm2025.ens.psl.eu/registration/
You can register for the conference here: ifm2025.ens.psl.eu/registration/
We have 10 accepted papers this year. Congratulations to all the authors!
You can have a look at the accepted papers here: fmasworkshop.github.io/FMAS2025/#ac...
You can have a look at the accepted papers here: fmasworkshop.github.io/FMAS2025/#ac...
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
October 28, 2025 at 3:11 PM
We have 10 accepted papers this year. Congratulations to all the authors!
You can have a look at the accepted papers here: fmasworkshop.github.io/FMAS2025/#ac...
You can have a look at the accepted papers here: fmasworkshop.github.io/FMAS2025/#ac...
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: fmasworkshop.github.io/FMAS2025/
We appreciate all the contributions made to our workshop.
Notification: 6th October 2025
Workshop: 17th-19th November 2025
Details: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 29, 2025 at 12:02 PM
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: fmasworkshop.github.io/FMAS2025/
We appreciate all the contributions made to our workshop.
Notification: 6th October 2025
Workshop: 17th-19th November 2025
Details: fmasworkshop.github.io/FMAS2025/
Reposted by Formal Methods for Autonomous Systems
Today's deadline day for #FMAS2025! 🚨
If you are writing a paper for the 7th International Workshop on Formal Methods for Autonomous Systems, you have until the end of today (28th) Anywhere on Earth.
Details and submission link: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
If you are writing a paper for the 7th International Workshop on Formal Methods for Autonomous Systems, you have until the end of today (28th) Anywhere on Earth.
Details and submission link: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 28, 2025 at 7:28 AM
Today's deadline day for #FMAS2025! 🚨
If you are writing a paper for the 7th International Workshop on Formal Methods for Autonomous Systems, you have until the end of today (28th) Anywhere on Earth.
Details and submission link: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
If you are writing a paper for the 7th International Workshop on Formal Methods for Autonomous Systems, you have until the end of today (28th) Anywhere on Earth.
Details and submission link: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
Reposted by Formal Methods for Autonomous Systems
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
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
August 28, 2025 at 10:01 AM
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
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
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
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
August 28, 2025 at 10:01 AM
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
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
Reposted by Formal Methods for Autonomous Systems
Looking to take part in #AAMAS2026? Check out the exciting opportunities to contribute:
🔹 Doctoral Consortium Contributions
🔹 Workshops
🔹 Tutorials
🔹 Competitions
👉 Be part of the global community shaping the future of autonomous agents and multiagent systems: cyprusconferences.org/aamas2026
#AI
🔹 Doctoral Consortium Contributions
🔹 Workshops
🔹 Tutorials
🔹 Competitions
👉 Be part of the global community shaping the future of autonomous agents and multiagent systems: cyprusconferences.org/aamas2026
#AI
August 28, 2025 at 8:00 AM
Looking to take part in #AAMAS2026? Check out the exciting opportunities to contribute:
🔹 Doctoral Consortium Contributions
🔹 Workshops
🔹 Tutorials
🔹 Competitions
👉 Be part of the global community shaping the future of autonomous agents and multiagent systems: cyprusconferences.org/aamas2026
#AI
🔹 Doctoral Consortium Contributions
🔹 Workshops
🔹 Tutorials
🔹 Competitions
👉 Be part of the global community shaping the future of autonomous agents and multiagent systems: cyprusconferences.org/aamas2026
#AI
Reposted by Formal Methods for Autonomous Systems
The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.
All the details are on our website: fmasworkshop.github.io/FMAS2025/
All the details are on our website: fmasworkshop.github.io/FMAS2025/
August 27, 2025 at 12:36 PM
The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.
All the details are on our website: fmasworkshop.github.io/FMAS2025/
All the details are on our website: fmasworkshop.github.io/FMAS2025/
Have you submitted yet??
The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining!
#FMAS2025
The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining!
#FMAS2025
August 27, 2025 at 2:11 PM
Have you submitted yet??
The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining!
#FMAS2025
The clock is ticking, and the deadline for submissions is fast approaching, with less than 48 hours remaining!
#FMAS2025
The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.
All the details are on our website: fmasworkshop.github.io/FMAS2025/
All the details are on our website: fmasworkshop.github.io/FMAS2025/
August 27, 2025 at 12:36 PM
The deadline for #FMAS2025 is the end of the 28th of August (Anywhere on Earth) so we hope you're ready to put the finishing touches to your papers and send them in.
All the details are on our website: fmasworkshop.github.io/FMAS2025/
All the details are on our website: fmasworkshop.github.io/FMAS2025/
Reposted by Formal Methods for Autonomous Systems
Does every Computer Scientist need to know Formal Methods?
Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee
#FormalMethods #ComputerScience #SoftwareEngineering
Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee
#FormalMethods #ComputerScience #SoftwareEngineering
Does every Computer Scientist need to know Formal Methods? · Formal Methods Europe
www.fmeurope.org
August 15, 2025 at 12:25 PM
Does every Computer Scientist need to know Formal Methods?
Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee
#FormalMethods #ComputerScience #SoftwareEngineering
Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee
#FormalMethods #ComputerScience #SoftwareEngineering
Reposted by Formal Methods for Autonomous Systems
The University of Manchester is hiring:
Research Associate - Formal Methods for Autonomous Robotics
Research Associate - Formal Methods for Autonomous Robotics
August 18, 2025 at 7:22 AM
The University of Manchester is hiring:
Research Associate - Formal Methods for Autonomous Robotics
Research Associate - Formal Methods for Autonomous Robotics
Reposted by Formal Methods for Autonomous Systems
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...
August 21, 2025 at 12:23 AM
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...
Reposted by Formal Methods for Autonomous Systems
Researchers in Scotland created a robotic fiddler crab to study the claw-waving contests that males of the species use to attract a mate. But the robot, nicknamed "Wavy Dave", didn't come out of the experiments unscathed. 🤖 www.livescience.com/animals/crus... #Robots #Robotics
Watch robot crab 'Wavy Dave' get attacked in claw-waving contest with real crabs
Researchers have built a robot crab that can compete in claw-waving displays with real fiddler crabs, but "Wavy Dave" doesn't always come out unscathed.
www.livescience.com
August 27, 2025 at 10:28 AM
Researchers in Scotland created a robotic fiddler crab to study the claw-waving contests that males of the species use to attract a mate. But the robot, nicknamed "Wavy Dave", didn't come out of the experiments unscathed. 🤖 www.livescience.com/animals/crus... #Robots #Robotics
Reposted by Formal Methods for Autonomous Systems
Three Obituaries for Margaret Ann Boden joanna-bryson.blogspot.com/2025/07/marg... @j2bryson.bsky.social
Three Obituaries for Margaret Ann Boden
artificial and natural intelligence, including politics, policy, ethics and security
joanna-bryson.blogspot.com
August 23, 2025 at 9:27 AM
Three Obituaries for Margaret Ann Boden joanna-bryson.blogspot.com/2025/07/marg... @j2bryson.bsky.social
Four more days to go!
We are looking forward to your submissions.
Deadline: 28th August 2025 (AOE)
Details: fmasworkshop.github.io/FMAS2025/
#FMAS2025
We are looking forward to your submissions.
Deadline: 28th August 2025 (AOE)
Details: fmasworkshop.github.io/FMAS2025/
#FMAS2025
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 25, 2025 at 2:11 PM
Four more days to go!
We are looking forward to your submissions.
Deadline: 28th August 2025 (AOE)
Details: fmasworkshop.github.io/FMAS2025/
#FMAS2025
We are looking forward to your submissions.
Deadline: 28th August 2025 (AOE)
Details: fmasworkshop.github.io/FMAS2025/
#FMAS2025
Reposted by Formal Methods for Autonomous Systems
Our AFMAS special issue papers are now available online!
Discover them here: www.sciencedirect.com/special-issu...
Discover them here: www.sciencedirect.com/special-issu...
August 13, 2025 at 2:11 PM
Our AFMAS special issue papers are now available online!
Discover them here: www.sciencedirect.com/special-issu...
Discover them here: www.sciencedirect.com/special-issu...
Reposted by Formal Methods for Autonomous Systems
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: fmasworkshop.github.io/FMAS2025/
This gives you all a little more time to polish your papers, if you're intending to send us some of your work.
Details: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 20, 2025 at 10:01 AM
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: fmasworkshop.github.io/FMAS2025/
This gives you all a little more time to polish your papers, if you're intending to send us some of your work.
Details: fmasworkshop.github.io/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: fmasworkshop.github.io/FMAS2025/
This gives you all a little more time to polish your papers, if you're intending to send us some of your work.
Details: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 20, 2025 at 10:01 AM
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: fmasworkshop.github.io/FMAS2025/
This gives you all a little more time to polish your papers, if you're intending to send us some of your work.
Details: fmasworkshop.github.io/FMAS2025/