Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Pinned
EPTCS 436: Formal Methods for Autonomous Systems
dx.doi.org
The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
Did you know #FMAS2026 will be the eighth edition of the International Workshop on Formal Methods for Autonomous Systems?
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
International Workshop on Formal Methods for Autonomous Systems
A peer-reviewed, academic workshop that brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems.
fmasworkshop.github.io
October 2, 2026 at 11:01 AM
Did you know #FMAS2026 will be the eighth edition of the International Workshop on Formal Methods for Autonomous Systems?
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Since 2019, FMAS has brought together researchers working across formal verification, robotics, cyber-physical systems, and autonomous systems.
fmasworkshop.github.io
Important clarification regarding remote participation at #FMAS2026:
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
October 1, 2026 at 2:00 PM
Important clarification regarding remote participation at #FMAS2026:
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
- At least one author per paper must register and pay for on-site attendance, even if the paper is presented remotely
- Other authors and attendees may join FMAS remotely for free
October is almost here — and so is the next milestone for #FMAS2026!
📅 Author notifications are due on 6 October.
We’re looking forward to sharing more about this year’s programme soon.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
📅 Author notifications are due on 6 October.
We’re looking forward to sharing more about this year’s programme soon.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 30, 2026 at 12:00 PM
October is almost here — and so is the next milestone for #FMAS2026!
📅 Author notifications are due on 6 October.
We’re looking forward to sharing more about this year’s programme soon.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
📅 Author notifications are due on 6 October.
We’re looking forward to sharing more about this year’s programme soon.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
FMAS 2025 | Prof. Paula Herber - Integrated Formal Methods for the Verification of CPS and AS
This is a recording of an invited talk at the Seventh Workshop on Formal Methods for Autonomous Systems (FMAS 2025).
FMAS brings together researchers working on a range of techniques for the formal…
www.youtube.com
September 25, 2026 at 8:01 AM
While we wait for #FMAS2026...
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
Why not revisit FMAS 2025?
The recordings are available on YouTube, so you can catch up on last year’s talks before we meet again in November:
www.youtube.com/watch?v=wzsw...
#FormalMethods #AutonomousSystems
One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #RuntimeVerification #AutonomousSystems
fmasworkshop.github.io/FMAS2026/
#FormalMethods #RuntimeVerification #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 22, 2026 at 8:00 AM
One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #RuntimeVerification #AutonomousSystems
fmasworkshop.github.io/FMAS2026/
#FormalMethods #RuntimeVerification #AutonomousSystems
From theory to practice.
#FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems #Verification
#FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems #Verification
September 18, 2026 at 8:01 AM
From theory to practice.
#FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems #Verification
#FMAS2026 welcomes tool-supported methods, case studies, and practical experience showing how formal methods can be applied to real autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems #Verification
How can evidence from formal methods support the assurance and certification of autonomous systems?
This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 16, 2026 at 11:01 AM
How can evidence from formal methods support the assurance and certification of autonomous systems?
This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
This is one of the challenges at #FMAS2026 — connecting verification results with safety arguments and real-world assurance.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Why join #FMAS2026?
Two days to hear new research, discuss open challenges, and connect with researchers working across formal methods and autonomous systems.
Participation will be available both in Southampton and online.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
Two days to hear new research, discuss open challenges, and connect with researchers working across formal methods and autonomous systems.
Participation will be available both in Southampton and online.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 11, 2026 at 10:17 AM
Why join #FMAS2026?
Two days to hear new research, discuss open challenges, and connect with researchers working across formal methods and autonomous systems.
Participation will be available both in Southampton and online.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
Two days to hear new research, discuss open challenges, and connect with researchers working across formal methods and autonomous systems.
Participation will be available both in Southampton and online.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
We’re looking forward to welcoming our #FMAS2026 invited speakers:
🎙️ Prof. Nils Jansen — Ruhr-University Bochum / Radboud University Nijmegen
🎙️ Dr. Elizabeth Polgreen — University of Edinburgh
More details coming soon!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AI #Verification
🎙️ Prof. Nils Jansen — Ruhr-University Bochum / Radboud University Nijmegen
🎙️ Dr. Elizabeth Polgreen — University of Edinburgh
More details coming soon!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AI #Verification
September 2, 2026 at 7:00 AM
We’re looking forward to welcoming our #FMAS2026 invited speakers:
🎙️ Prof. Nils Jansen — Ruhr-University Bochum / Radboud University Nijmegen
🎙️ Dr. Elizabeth Polgreen — University of Edinburgh
More details coming soon!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AI #Verification
🎙️ Prof. Nils Jansen — Ruhr-University Bochum / Radboud University Nijmegen
🎙️ Dr. Elizabeth Polgreen — University of Edinburgh
More details coming soon!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AI #Verification
What happens at #FMAS2026?
Two days of research, invited talks, and discussion around the challenges of applying formal methods to autonomous systems — from verification and assurance to robotics and AI-enabled systems.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
Two days of research, invited talks, and discussion around the challenges of applying formal methods to autonomous systems — from verification and assurance to robotics and AI-enabled systems.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
August 31, 2026 at 3:00 PM
What happens at #FMAS2026?
Two days of research, invited talks, and discussion around the challenges of applying formal methods to autonomous systems — from verification and assurance to robotics and AI-enabled systems.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
Two days of research, invited talks, and discussion around the challenges of applying formal methods to autonomous systems — from verification and assurance to robotics and AI-enabled systems.
17–18 November 2026
fmasworkshop.github.io/FMAS2026/
We are delighted to welcome Dr. Elizabeth Polgreen as an invited speaker at #FMAS2026!
Her research explores formal and machine learning-based synthesis, including techniques to improve the scalability of verification.
polgreen.github.io
#FormalMethods #Verification #AI
Her research explores formal and machine learning-based synthesis, including techniques to improve the scalability of verification.
polgreen.github.io
#FormalMethods #Verification #AI
Elizabeth Polgreen
elizabeth.polgreen[at]ed.ac.uk
polgreen.github.io
August 28, 2026 at 12:02 PM
We are delighted to welcome Dr. Elizabeth Polgreen as an invited speaker at #FMAS2026!
Her research explores formal and machine learning-based synthesis, including techniques to improve the scalability of verification.
polgreen.github.io
#FormalMethods #Verification #AI
Her research explores formal and machine learning-based synthesis, including techniques to improve the scalability of verification.
polgreen.github.io
#FormalMethods #Verification #AI
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
August 25, 2026 at 12:02 PM
New to FMAS?
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Previous editions of the workshop have brought together work on verification, assurance, robotics, runtime verification, and formal methods for AI-enabled autonomous systems.
Explore previous FMAS papers on DBLP:
dblp.dagstuhl.de/db/conf/fmas...
#FMAS2026 #FormalMethods
Thank you to everyone who submitted to #FMAS2026! We’re looking forward to reading your work.
Notification of acceptance: 6 October 2026
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Notification of acceptance: 6 October 2026
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 21, 2026 at 2:02 PM
Thank you to everyone who submitted to #FMAS2026! We’re looking forward to reading your work.
Notification of acceptance: 6 October 2026
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Notification of acceptance: 6 October 2026
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Today is the #FMAS2026 paper submission deadline!
Submit your paper by 20 August 2026, Anywhere on Earth.
We look forward to reading your submissions!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit your paper by 20 August 2026, Anywhere on Earth.
We look forward to reading your submissions!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 20, 2026 at 7:01 AM
Today is the #FMAS2026 paper submission deadline!
Submit your paper by 20 August 2026, Anywhere on Earth.
We look forward to reading your submissions!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit your paper by 20 August 2026, Anywhere on Earth.
We look forward to reading your submissions!
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The #FMAS2026 paper submission deadline is tomorrow!
Submit by 20 August 2026, Anywhere on Earth.
We look forward to receiving your work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit by 20 August 2026, Anywhere on Earth.
We look forward to receiving your work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 19, 2026 at 11:01 AM
The #FMAS2026 paper submission deadline is tomorrow!
Submit by 20 August 2026, Anywhere on Earth.
We look forward to receiving your work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit by 20 August 2026, Anywhere on Earth.
We look forward to receiving your work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
A few extra days to finish your #FMAS2026 submission!
The paper deadline has been extended to 20 August 2026, Anywhere on Earth.
We welcome short and long papers on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The paper deadline has been extended to 20 August 2026, Anywhere on Earth.
We welcome short and long papers on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 16, 2026 at 11:00 AM
A few extra days to finish your #FMAS2026 submission!
The paper deadline has been extended to 20 August 2026, Anywhere on Earth.
We welcome short and long papers on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The paper deadline has been extended to 20 August 2026, Anywhere on Earth.
We welcome short and long papers on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Today is the #FMAS2026 abstract submission deadline!
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
August 14, 2026 at 7:00 AM
Today is the #FMAS2026 abstract submission deadline!
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Submit your abstract by 14 August 2026, Anywhere on Earth.
And remember: the full paper deadline has been extended to 20 August 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
📢 Deadline extended!
The #FMAS2026 paper submission deadline has been extended to:
20 August 2026, Anywhere on Earth
The abstract deadline remains tomorrow, 14 August 2026, AOE.
More details:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The #FMAS2026 paper submission deadline has been extended to:
20 August 2026, Anywhere on Earth
The abstract deadline remains tomorrow, 14 August 2026, AOE.
More details:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 13, 2026 at 7:00 AM
📢 Deadline extended!
The #FMAS2026 paper submission deadline has been extended to:
20 August 2026, Anywhere on Earth
The abstract deadline remains tomorrow, 14 August 2026, AOE.
More details:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The #FMAS2026 paper submission deadline has been extended to:
20 August 2026, Anywhere on Earth
The abstract deadline remains tomorrow, 14 August 2026, AOE.
More details:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Only 3 days to go until the #FMAS2026 abstract deadline!
📅 Abstracts: 14 Aug 2026 AOE
📄 Papers: 17 Aug 2026 AOE
We welcome work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
📅 Abstracts: 14 Aug 2026 AOE
📄 Papers: 17 Aug 2026 AOE
We welcome work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 11, 2026 at 11:00 AM
Only 3 days to go until the #FMAS2026 abstract deadline!
📅 Abstracts: 14 Aug 2026 AOE
📄 Papers: 17 Aug 2026 AOE
We welcome work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
📅 Abstracts: 14 Aug 2026 AOE
📄 Papers: 17 Aug 2026 AOE
We welcome work on formal methods for autonomous systems.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Less than two weeks to submit!
Abstracts are due on 14 August 2026 AOE.
Full papers are due on 17 August 2026 AOE.
Short and long papers are welcome, including vision papers, research previews, experience reports, and regular papers.
fmasworkshop.github.io/FMAS2026/
#AutonomousSystems #FMAS2026
Abstracts are due on 14 August 2026 AOE.
Full papers are due on 17 August 2026 AOE.
Short and long papers are welcome, including vision papers, research previews, experience reports, and regular papers.
fmasworkshop.github.io/FMAS2026/
#AutonomousSystems #FMAS2026
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
August 6, 2026 at 11:01 PM
Less than two weeks to submit!
Abstracts are due on 14 August 2026 AOE.
Full papers are due on 17 August 2026 AOE.
Short and long papers are welcome, including vision papers, research previews, experience reports, and regular papers.
fmasworkshop.github.io/FMAS2026/
#AutonomousSystems #FMAS2026
Abstracts are due on 14 August 2026 AOE.
Full papers are due on 17 August 2026 AOE.
Short and long papers are welcome, including vision papers, research previews, experience reports, and regular papers.
fmasworkshop.github.io/FMAS2026/
#AutonomousSystems #FMAS2026
Could your submission become the #FMAS2026 Best Paper?
The award will consider the paper reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods
The award will consider the paper reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods
August 4, 2026 at 11:00 PM
Could your submission become the #FMAS2026 Best Paper?
The award will consider the paper reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods
The award will consider the paper reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods
Invited speaker announcement!
We are delighted to welcome Dr Elizabeth Polgreen from the University of Edinburgh to #FMAS2026.
Her research explores formal and ML-based synthesis techniques and the use of synthesis to scale verification.
polgreen.github.io
#FormalMethods #Verification
We are delighted to welcome Dr Elizabeth Polgreen from the University of Edinburgh to #FMAS2026.
Her research explores formal and ML-based synthesis techniques and the use of synthesis to scale verification.
polgreen.github.io
#FormalMethods #Verification
August 4, 2026 at 1:00 AM
Invited speaker announcement!
We are delighted to welcome Dr Elizabeth Polgreen from the University of Edinburgh to #FMAS2026.
Her research explores formal and ML-based synthesis techniques and the use of synthesis to scale verification.
polgreen.github.io
#FormalMethods #Verification
We are delighted to welcome Dr Elizabeth Polgreen from the University of Edinburgh to #FMAS2026.
Her research explores formal and ML-based synthesis techniques and the use of synthesis to scale verification.
polgreen.github.io
#FormalMethods #Verification
Looking beyond the workshop?
A journal special issue is planned for extended versions of papers accepted at #FMAS2026.
Submit your work on formal methods for autonomous systems by 17 Aug 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
A journal special issue is planned for extended versions of papers accepted at #FMAS2026.
Submit your work on formal methods for autonomous systems by 17 Aug 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
July 31, 2026 at 1:02 PM
Looking beyond the workshop?
A journal special issue is planned for extended versions of papers accepted at #FMAS2026.
Submit your work on formal methods for autonomous systems by 17 Aug 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
A journal special issue is planned for extended versions of papers accepted at #FMAS2026.
Submit your work on formal methods for autonomous systems by 17 Aug 2026 AOE.
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
Preparing a submission for #FMAS2026?
Please remember that AI-generated content—including text, images, figures, or code—must be explicitly disclosed in a section titled “AI Usage”.
Full submission guidelines:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #ResearchIntegrity #AI
Please remember that AI-generated content—including text, images, figures, or code—must be explicitly disclosed in a section titled “AI Usage”.
Full submission guidelines:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #ResearchIntegrity #AI
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
July 29, 2026 at 1:02 PM
Preparing a submission for #FMAS2026?
Please remember that AI-generated content—including text, images, figures, or code—must be explicitly disclosed in a section titled “AI Usage”.
Full submission guidelines:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #ResearchIntegrity #AI
Please remember that AI-generated content—including text, images, figures, or code—must be explicitly disclosed in a section titled “AI Usage”.
Full submission guidelines:
fmasworkshop.github.io/FMAS2026/
#FormalMethods #ResearchIntegrity #AI
Could your submission become the #FMAS2026 Best Paper?
The award will consider the reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstracts: 14 Aug 2026 AOE
Papers: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The award will consider the reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstracts: 14 Aug 2026 AOE
Papers: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
July 27, 2026 at 1:00 PM
Could your submission become the #FMAS2026 Best Paper?
The award will consider the reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstracts: 14 Aug 2026 AOE
Papers: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems
The award will consider the reviews, Programme Committee discussions, and the presentation delivered at the workshop.
Abstracts: 14 Aug 2026 AOE
Papers: 17 Aug 2026 AOE
fmasworkshop.github.io/FMAS2026/
#FormalMethods #AutonomousSystems