All images/graphics may be copyrighted and property of the author, creator and/or FMAS.

Int. Workshop on Formal Methods for Autonomous Systems (FMAS 2024)

FMAS

Robotics   -   Workshop

Time: From Nov. 11, 2024 to Nov. 12, 2024

Event Location: United Kingdom     (University of Manchester)


Key Points:

• Two-day peer-reviewed international workshop

• Submissions that use formal methods to specify, model, or verify aut. systems

• Applications to: automated syst., semi-autonomous syst., or fully-autonomous

Latest Updates and News

Important Dates

  • Submission: 9th August 2024 (AOE)
  • Notification: 26th September 2024
  • Final Version due: tba
  • Workshop: 11th and 12th of November 2024

Please visit the official website for more accurate, up-to-date, and complete information on this post. Visit Website   External Link Icon

Disclaimer: For informational purposes only. The provided data and/or content are intended as references and may contain errors. We appreciate your help in maintaining accuracy; if you spot any errors, please notify us. For the most reliable and up-to-date information, kindly refer to the official website. By using addoobot and its contents and services, you agree to our Terms and Conditions, Privacy Policy, and Cookie Policy.


You might also like

View All

 0 Comments

Comments are disabled for this post.