Formal Verification and Validation for Autonomous Control Conference in Paris, France – January 2027

About this conference

This control and automation conference takes place in Paris, France on Jan 23–24, 2027. Abstracts and papers are due by December 27, 2026. It is one of 14 upcoming control and automation conferences in France; the next one after it starts on January 23. It is organized by easrd.

Dedicated to exploring advanced methodologies for formal verification and validation in autonomous control systems, this conference welcomes contributions from diverse academic backgrounds and industries. Researchers can submit full papers, case studies, and posters discussing both innovative and traditional techniques for assurance practices. The event will emphasize real-world implementations and challenges, facilitating practical understanding through keynotes and panel discussions. Attendees will have numerous chances to network and collaborate, highlighting shared interests in autonomous technologies. Be sure to check back for more details regarding submission timelines and registration.

Topics

Key dates

1. Abstract deadline · Dec 27, 202648 days left
2. Conference · Jan 23–24, 2027Paris, France