Formal Methods for Autonomous Systems

Seventh International Workshop on Formal Methods for Autonomous Systems

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

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration!
app.mural.co/t/phd3063/m/...

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

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

Science of Computer Programming | Advances in Formal Methods for Autonomous Systems | ScienceDirect.com by Elsevier Read the latest articles of Science of Computer Programming at ScienceDirect.com, Elsevier’s leading platform of peer-reviewed scholarly literature

Our AFMAS special issue papers are now available online!
Discover them here: www.sciencedirect.com/special-issu...

Seventh International Workshop on Formal Methods for Autonomous Systems

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

#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

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...

Considering submitting a paper to #FMAS2025?

Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh

We are thrilled to finally introduce our lab members aial.ie/people/

1/

A graph of costs and benefits plotted against each other. There is a line under which is “Your favourite under-appreciated formal method”. There are two arrows pointing orthogonally away: “be cheaper” and “be more beneficial”

New-ish @galoisinc.bsky.social blog: “What Works (and Doesn't) Selling Formal Methods”. The boring truth: engineers are rational and adoption is all about cost/benefit tradeoffs www.galois.com/articles/wha...

A labyrinth icon, serving as a metaphor for the process of formal verification

At Galois, we often say things like: “Formal methods form the backbone of everything we do.”

But what exactly are formal methods? How do they work, and why are they so important?

We created a handy reference page to explain: www.galois.com/what-are-for...

Nobody cares about correctness and do cheap things first are great takeaways from this but this article illustrates these and other points especially well: www.galois.com/articles/wha...

AI and Sustainability Reporting Expression of Interest AI is poised to transform sustainability reporting by introducing new capabilities for data collection, analysis, and verification—with the potential to support more transparen...

Expressions of Interest: AI and Sustainability Reporting

Interactive workshop, hosted by @sustainableai.bsky.social & Digital Catapult, 15 Oct. Help map the sustainability x AI landscape, share ideas, make connections & explore emerging issues. Attendance free, places limited. bit.ly/3GggFOd

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration!
app.mural.co/t/phd3063/m/...

Just one month to go until key submission deadlines for ASE 2025!

🎓 Doctoral Symposium – July 31
Present your PhD work and get feedback from senior SE researchers.

🏢 Industry Showcase – Aug 1
Share innovative solutions or real-world challenges in automated SE.

#ASE2025 #SoftwareEngineering #CFP

Still searching for a research topic? #FMAS2024 discussion session might provide some inspiration!
app.mural.co/t/phd3063/m/...

Interview with Amar Halilovic: Explainable AI for robotics - ΑΙhub

In the latest of our interviews featuring AAAI / @acmsigai.bsky.social doctoral consortium participants, we hear from Amar Halilovic about his research on explainable AI for robotics
aihub.org/2025/06/10/i...

Seventh International Workshop on Formal Methods for Autonomous Systems

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

Unsure if your work suits #FMAS2025?

Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh

We're broadening our reach to LinkedIn too!

Don't miss out—connect with us there. buff.ly/LEZCyLU

FMAS is back for 2025!

We are interested in work that applies Formal Methods to almost any kind of autonomous system

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: buff.ly/VZaDX0m

#FMAS2025

Considering submitting a paper to #FMAS2025?

Feel free to explore our earlier editions available on DBLP: buff.ly/RkNTilh

Seventh International Workshop on Formal Methods for Autonomous Systems

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)!

Details: buff.ly/VZaDX0m

Seventh International Workshop on Formal Methods for Autonomous Systems

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)!

Details: buff.ly/VZaDX0m

Seventh International Workshop on Formal Methods for Autonomous Systems

FMAS is back for 2025!

We are interested in work that applies Formal Methods to almost any kind of autonomous system

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: buff.ly/VZaDX0m

#FMAS2025

Seventh International Workshop on Formal Methods for Autonomous Systems

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)!

Details: buff.ly/VZaDX0m

Considering submitting a paper to #FMAS2025?

Feel free to explore our earlier editions available on DBLP:

Seventh International Workshop on Formal Methods for Autonomous Systems

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

Seventh International Workshop on Formal Methods for Autonomous Systems

FMAS is back for 2025!

We are interested in work that applies Formal Methods to almost any kind of autonomous system

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: buff.ly/VZaDX0m

#FMAS2025