26–28 JUNE 2025
Conservatoire National des Arts et Métiers (CNAM), Paris, France
Supported by:

2nd International Symposium on the Verification of Autonomous Mobile Systems (VAMS 2025)
Driven by urgent societal demands for accessibility and safety, and fuelled by rapid advancements in machine learning, sensing, perception, computing, and communications, autonomous mobile systems are reshaping how we navigate land, sea, and air. The last decade has seen a surge of interest and progress, from autonomous shuttles and drones to delivery robots and maritime systems. Yet despite promising prototypes and pilot deployments, truly autonomous systems remain rare. Most rely on tightly constrained environments or human oversight for safety assurance. The path to safe and trustworthy autonomy remains complex. Demonstrating reliable, continuous operation in dynamic public environments—and proving this to regulators, industry, and the public—is one of the field’s most pressing challenges. VAMS 2025 brings together researchers, engineers, and practitioners working to ensure the verifiability, safety, and robustness of autonomous mobile systems in the real world.
Focus Areas
VAMS 2025 will explore:
- Verification Methods and Frameworks. Novel methodologies, formal approaches, and scalable frameworks for ensuring the safety, reliability, and robustness of autonomous systems.
- Standards, Regulation, and Assurance. The evolving role of standards, certification processes, and regulatory bodies in shaping and validating autonomous mobility.
- Domain-Specific Verification Challenges. Sector-specific issues in land, maritime, aerial, and space autonomy, including the unique constraints and requirements of each environment.
- Experimental Platforms and Software Tools. Practical approaches to verification, including simulation-based testing, benchmarking, open-source tools, and experimental validation.
Event Format & Programme
Each session will feature: One keynote presentation. Two-three shorter presentations showcasing cutting-edge research and industry developments.
Thursday, 26 June 2025
Morning Session: Theoretical fundamentals and tools for the development and verification of autonomous mobile systems. Foundational methods, formal approaches, and practical toolchains.
Open Discussion: Summary and synthesis of key findings.
Afternoon Session: Emerging Standards and Regulations for the Verification of Autonomous Systems. The evolving landscape of standards and regulatory frameworks shaping VAMS.
Open Discussion: Summary and synthesis of key findings.
Friday, 27 June 2025
Morning Session: Cross-Domain: Experimentation & Simulation. Investigates how autonomous mobile systems are being verified in various domains through virtual and physical testing.
Open Discussion: Summary and synthesis of key findings.
Afternoon Session: IEEE ITSS – Women in Engineering – Opportunities. Open discussions on WIE within the ITS domain.
IEEE ITSS – Young Professionals – Opportunities.
IEEE ITSS – Project proposals on ITS.
Early Evening: CNAM museum visit.
Organising Committee
- Kamel Barkaoui (LE CNAM, FR)
- Stephany Berrio Perez (University of Sydney, AU)
- Justin Dauwels (TU Delft, NL)
- Javier Ibanez-Guzman (Ampere, Renault Group, FR)
- Michael Fisher (University of Manchester, UK)
- Bruno Monsuez (ENSTA Paris, FR)
- Karla Quintero (IRT SystemX, FR)
- Rhandy Cardenas (Ampere, Renault Group, FR) – Webmaster/Communications