2025 INTERNATIONAL SYMPOSIUM ON

VERIFICATION OF AUTONOMOUS MOBILE SYSTEMS

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.

Who Should Attend? 

VAMS 2025 brings together a diverse community of stakeholders involved in the development, deployment, and regulation of autonomous mobile systems, including: 

01

Manufacturers and Developers of autonomous vehicles and robotic platforms

02

Operators of autonomous systems across land, sea, air, and space

03

Developers of Advanced Automation technologies and systems

04

Academic Institutions and Research Centres conducting foundational and applied work

05

Manufacturers of Testing, Simulation, and Measurement Tools supporting verification workflows

06

Regulatory Authorities, Standards Bodies, Certification Agencies, and Testing Institutes

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
Retour en haut