International Conference on Formal Verification and Validation for Autonomous Control ( ICFVVAC )
Time Until Event Starts:
Starting Date
23rd Jan 2027
Ending Date
24th Jan 2027
Abstract Deadline
27th Dec 2026
Aim of the event
International Conference on Formal Verification and Validation for Autonomous Control ( ICFVVAC ) organized by easrd on 23rd-24th Jan 2027 Focusing on formal verification and validation for autonomous control systems, this gathering invites researchers to engage in critical discussions on methodologies that enhance system safety and reliability. Contributions exploring both theoretical perspectives and practical implementations are welcome, with options for full papers, prototypes, and poster presentations. The program aims to include prominent keynote speakers and focused panels addressing emerging challenges and solutions in the domain of autonomous technologies. Attendees will benefit from interactive formats that promote discussion and networking among participants. Information regarding submission timelines and event particulars will be released soon, paving the way for proactive involvement in this integral area of study.