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/
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/
🔔ding ding🔔
Last call for papers for #FMAS2025
Submissions close at the end of 28th of August (Anywhere on Earth). Authors will be able to make updates to their papers until the 2nd of September.
Details and Submission: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
Last call for papers for #FMAS2025
Submissions close at the end of 28th of August (Anywhere on Earth). Authors will be able to make updates to their papers until the 2nd of September.
Details and Submission: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
August 28, 2025 at 8:05 PM
🔔ding ding🔔
Last call for papers for #FMAS2025
Submissions close at the end of 28th of August (Anywhere on Earth). Authors will be able to make updates to their papers until the 2nd of September.
Details and Submission: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
Last call for papers for #FMAS2025
Submissions close at the end of 28th of August (Anywhere on Earth). Authors will be able to make updates to their papers until the 2nd of September.
Details and Submission: fmasworkshop.github.io/FMAS2025/
@fmasworkshop.bsky.social
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
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
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/
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
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/
🚨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: buff.ly/7CbLuOm
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: buff.ly/7CbLuOm
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly
August 15, 2025 at 2:11 PM
🚨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: buff.ly/7CbLuOm
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: buff.ly/7CbLuOm
If you're still writing a paper for #FMAS2025 then you now have some extra time!
You weren't writing a paper?
Maybe now you can. 😉
#FMAS2025 is looking for work applying #FormalMethods to almost any kind of autonomous system!
You weren't writing a paper?
Maybe now you can. 😉
#FMAS2025 is looking for work applying #FormalMethods to almost any kind of autonomous system!
🚨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: fmasworkshop.github.io/FMAS2025/
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: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 15, 2025 at 12:14 PM
If you're still writing a paper for #FMAS2025 then you now have some extra time!
You weren't writing a paper?
Maybe now you can. 😉
#FMAS2025 is looking for work applying #FormalMethods to almost any kind of autonomous system!
You weren't writing a paper?
Maybe now you can. 😉
#FMAS2025 is looking for work applying #FormalMethods to almost any kind of autonomous system!
🚨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: fmasworkshop.github.io/FMAS2025/
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: fmasworkshop.github.io/FMAS2025/
Seventh International Workshop on Formal Methods for Autonomous Systems
fmasworkshop.github.io
August 12, 2025 at 10:17 AM
🚨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: fmasworkshop.github.io/FMAS2025/
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: fmasworkshop.github.io/FMAS2025/
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)!
buff.ly/VZaDX0m
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)!
buff.ly/VZaDX0m
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly
August 8, 2025 at 2:11 PM
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)!
buff.ly/VZaDX0m
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)!
buff.ly/VZaDX0m
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: fmasworkshop.github.io/FMAS2025/
#FMAS2025
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: fmasworkshop.github.io/FMAS2025/
#FMAS2025
August 4, 2025 at 10:17 AM
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: fmasworkshop.github.io/FMAS2025/
#FMAS2025
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: fmasworkshop.github.io/FMAS2025/
#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: buff.ly/3BNtvR9
Deadline: 22nd Aug 2025 (AoE)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025
Take a look at the papers from the past 6 years of FMAS.
All the proceedings are indexed on DBLP: buff.ly/3BNtvR9
Deadline: 22nd Aug 2025 (AoE)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025
buff.ly
August 1, 2025 at 10:17 AM
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: buff.ly/3BNtvR9
Deadline: 22nd Aug 2025 (AoE)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025
Take a look at the papers from the past 6 years of FMAS.
All the proceedings are indexed on DBLP: buff.ly/3BNtvR9
Deadline: 22nd Aug 2025 (AoE)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025
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: buff.ly/VZaDX0m
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: buff.ly/VZaDX0m
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly
July 21, 2025 at 10:17 AM
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: buff.ly/VZaDX0m
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: buff.ly/VZaDX0m
#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)!
buff.ly/VZaDX0m
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)!
buff.ly/VZaDX0m
July 16, 2025 at 10:02 AM
#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)!
buff.ly/VZaDX0m
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)!
buff.ly/VZaDX0m
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: dblp.dagstuhl.de/db/series/ep...
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: dblp.dagstuhl.de/db/series/ep...
dblp: FMAS@iFM 2024
Bibliographic content of FMAS@iFM 2024
dblp.dagstuhl.de
July 15, 2025 at 9:03 AM
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: dblp.dagstuhl.de/db/series/ep...
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: dblp.dagstuhl.de/db/series/ep...
Considering submitting a paper to #FMAS2025?
Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh
Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh
July 11, 2025 at 10:17 AM
Considering submitting a paper to #FMAS2025?
Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh
Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh
FMAS is back this year, hosted by #iFM25 in Paris.
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
July 8, 2025 at 10:26 AM
FMAS is back this year, hosted by #iFM25 in Paris.
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025