Embedded Files
Click here for Program
Click here to Register.
Note: We have started sending the meeting link to the registered attendees. If you have not received the link, please contact us.
General Information
General Information
The workshop will be held as part of the NASA Formal Methods (NFM) Conference 2020 .
Location: Zoom Meeting (please register to obtain the link)
Date: Monday, May 11, 2020
Registration
Registration
All the participants (including speakers) need to register to the main conference. Register to NFM-2020 (early registration is recommended)
Please also complete the form here.
Introduction
Introduction
Artificial Intelligence (AI) is increasingly finding use in safety-critical applications. For example, autonomous driving, aircraft collision avoidance, and other domains. In order for these systems to find use in the real world, we need to trust them. This trust can be established through the application of formal methods. However, verifying these systems poses a number of challenges. The focus of this workshop is to discuss these challenges.
Topics of Interest
Topics of Interest
- Neural network verification
- Robust perception
- Verified control
- Fairness
- Other problems
- Safe neural network training
- Correct by construction training
- Approximately safe training or risk-aware training
- Robustness
- Out of distribution detection / calibration
- Application areas
- Autonomous:
- Driving
- Flying
- Other applications
- Autonomous:
- Explainable AI
- AI impact on laws
If you are interested in a specific topic that you do not see listed here, but you think should be, please email us at: nfm.ai.safety@gmail.com
A word cloud of the interest of registered attendees as of May 6.
Organizers
Organizers
Questions?
Questions?
nfm.ai.safety@gmail.com
Page updated
Report abuse