EI
WorkshopHybrid
Eighth International Workshop on Formal Methods for Autonomous Systems
- 17 – 18 November 2026
Add to calendar
Welcome to kongre.net - Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, United Kingdom
- AI (Artificial Intelligence)Computer & Information SciencesSoftware Engineering & Architecture
Let others know you'll be there. This does not register you for the event.
Welcome to kongre.net
Welcome to kongre.net
Key facts
Eighth International Workshop on Formal Methods for Autonomous Systems is a workshop held 17 – 18 November 2026 in Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, United Kingdom.
- Dates:
- 17 – 18 November 2026
- Format:
- Hybrid (in person and online)
- Venue:
- Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, United Kingdom
- Subjects:
- AI (Artificial Intelligence), Software Engineering & Architecture
- Official website:
- fmasworkshop.github.io/FMAS2026
The Eighth International Workshop on Formal Methods for Autonomous Systems is a two-day peer-reviewed international workshop that brings together researchers working on techniques for the formal verification of autonomous systems.
Objectives
To present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
Who should attend
Researchers working on techniques for the formal specification and verification of autonomous systems.
Scientific Committee
Oana Andrei - University of Glasgow (UK)
Siddhartha Bhattacharyya - Florida Institute of Technology (USA)
Rafael C. Cardoso - University of Aberdeen (UK)
Gustavo Carvalho - Universidade Federal de Pernambuco (Brazil)
Louise Dennis - University of Manchester (UK)
Khen Elimelech - King's College London (UK)
Eduard Paul Enoiu - Mälardalen University (Sweden)
Marie Farrell - University of Manchester (UK)
Fatma Faruq - Arm (UK)
Angelo Ferrando - University of Modena and Reggio Emilia (Italy)
Michael Fisher - University of Manchester (UK)
Federico Formica - McMaster University (Canada)
Dominik Grundt - German Aerospace Center (DLR) e.V. (Germany)
Jérémie Guiochet - LAAS-CNRS (France)
Taylor T. Johnson - Vanderbilt University (USA)
Verena Klös - Carl von Ossietzky University Oldenburg (Germany)
Steffen Knoop - Bosch (Germany)
Mark Lawford - McMaster University (Canada)
Livia Lestingi - Politecnico di Milano (Italy)
Sven Linker - Konkunkt GmbH (Germany)
Deyun Lyu - National Institute of Informatics (Japan)
Alice Miller - University of Glasgow (UK)
Alvaro Miyazawa - University of York (UK)
Rosemary Monahan - Maynooth University (Ireland)
Dominique Méry - Université de Lorraine (France)
Programme highlights
View full programmeSpeakers
View all 45 speakersOrganiser and contact
Contact
- Email:
- [email protected]
Advertisement
Related events
- Containers Don't Lie | Maritime, Trade & Supply Chain SymposiumLondon, United Kingdom16–17 Nov 2026
- The 16th International Conference on the Internet of Things (IoT 2026)Newcastle upon Tyne, United Kingdom17–20 Nov 2026
- 6th International Conference on Artificial Intelligence, Robotics, and Communication (ICAIRC 2026)Xiamen, China13–15 Nov 2026
- 2nd International Conference on Intelligent Control and Computing Science (ICICCS 2026)Nantong, China13–15 Nov 2026
- 2nd International Conference on Artificial Intelligence and Sustainable Development (ICAISD 2026)Shanghai, China13–15 Nov 2026
- 6th International Conference on Digital Society and Intelligent Systems (DSInS 2026)Dali, China13–15 Nov 2026