Have an early-stage idea on formal methods for autonomous systems?

#FMAS2026 welcomes Research Preview papers, and work from PhD students is particularly encouraged.

Short papers are 6 pages, excluding references.

https://fmasworkshop.github.io/FMAS2026/

#FormalMethods #PhD

#FMAS2026 will take place in Southampton, UK, on 17–18 November 2026, co-located with ICFEM 2026.

Join us for two days on formal methods for autonomous systems.

#FormalMethods #AutonomousSystems

Autonomous systems create distinctive challenges for formal methods: dynamic environments, independent decision-making, safety evidence, certification, and real-world deployment.

#FMAS2026 invites work tackling these challenges.

https://fmasworkshop.github.io/FMAS2026/

Do you have colleagues working on formal methods, autonomous systems, robotics, cyber-physical systems, verification, safety assurance, or runtime verification?

Please let them know about #FMAS2026!

CFP: https://fmasworkshop.github.io/FMAS2026/

#FormalMethods
#AutonomousSystems

What can you submit to #FMAS2026?

Short papers: 6 pages, excluding references
• Vision papers
• Research previews

Long papers: 15 pages, excluding references
• Experience reports
• Regular papers

Details: https://fmasworkshop.github.io/FMAS2026/

Planning your next submission?

#FMAS2026 welcomes work on formal methods for autonomous, semi-autonomous, automated, robotic, and cyber-physical systems.

Abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE

A gentle reminder for your summer planning:

#FMAS2026 abstract deadline: 14 Aug 2026 AOE
Paper deadline: 17 Aug 2026 AOE
Workshop: 17–18 Nov 2026, Southampton

https://fmasworkshop.github.io/FMAS2026/

Topics for #FMAS2026 include formal specification, modelling, requirements engineering, runtime verification, safety assurance, tool-supported methods, case studies, and future directions for autonomous systems.

CFP: https://fmasworkshop.github.io/FMAS2026/

Working on neurosymbolic AI?

#FMAS2026 invites papers on formal methods for hybrid symbolic/subsymbolic systems: differentiable reasoning, LLM knowledge integration, logical formula learning, explainability, benchmarks, and applications.

https://fmasworkshop.github.io/FMAS2026/

Planning ahead for #FMAS2026?

The workshop will support in-person and remote participation. Presenting or participating online will be free.

Submission deadline: 17 Aug 2026 AOE

https://fmasworkshop.github.io/FMAS2026/