EI
WorkshopHibrit
Eighth International Workshop on Formal Methods for Autonomous Systems
- 17 – 18 Kasım 2026
Takvime ekle
kongre.net'e hoş geldiniz - Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, United Kingdom
- Yapay ZekâComputer & Information SciencesYazılım Mühendisliği ve Mimarisi
Orada olacağınızı başkalarına bildirin. Bu işlem sizi etkinliğe kaydetmez.
kongre.net'e hoş geldiniz
kongre.net'e hoş geldiniz
Temel bilgiler
Eighth International Workshop on Formal Methods for Autonomous Systems, 17 – 18 Kasım 2026 tarihlerinde Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, Birleşik Krallık konumunda düzenlenen bir çalıştay etkinliğidir.
- Tarihler:
- 17 – 18 Kasım 2026
- Biçim:
- Hibrit (yüz yüze ve çevrim içi)
- Mekân:
- Leonardo Royal Grand Harbour Hotel in Southampton, Southampton, Birleşik Krallık
- Konular:
- AI (Artificial Intelligence), Software Engineering & Architecture
- Resmi web sitesi:
- 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.
Hedefler
To present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
Kimler katılmalı
Researchers working on techniques for the formal specification and verification of autonomous systems.
Bilim Kurulu
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)
Programdan öne çıkanlar
Programın tamamını görKonuşmacılar
45 konuşmacının tümünü görOrganizatör ve iletişim
İletişim
- E-posta:
- [email protected]
Reklam
İlgili etkinlikler
- Containers Don't Lie | Maritime, Trade & Supply Chain SymposiumLondon, Birleşik Krallık16–17 Kas 2026
- The 16th International Conference on the Internet of Things (IoT 2026)Newcastle upon Tyne, Birleşik Krallık17–20 Kas 2026
- 6th International Conference on Artificial Intelligence, Robotics, and Communication (ICAIRC 2026)Xiamen, Çin13–15 Kas 2026
- 2nd International Conference on Intelligent Control and Computing Science (ICICCS 2026)Nantong, Çin13–15 Kas 2026
- 2nd International Conference on Artificial Intelligence and Sustainable Development (ICAISD 2026)Shanghai, Çin13–15 Kas 2026
- 6th International Conference on Digital Society and Intelligent Systems (DSInS 2026)Dali, Çin13–15 Kas 2026