| 14:00 - 14:15 | Workshop opening |
| Goals of Dependable AI | |
| 14:15 - 14:45 | Dominik Herrmann: Ethical Challenges of AI Systems |
| Approaches to Dependable AI | |
| 15:00 - 15:30 | Michael Sioutis: Leveraging Qualitative Spatio-Temporal Reasoning for Dependable AI/ML |
| 15:30 - 16:00 | Sarem Seitz: Dependable AI under heavy tailed distributions |
| 16:00 - 16:30 | Coffee Break |
| Breakout Discussions | |
| 16:30 - 17:00 | Discussion I, ML for Dependable AI: What are challenges and requirements for dependability? |
| 16:30 - 17:00 | Discussion II, Reasong in AI: Can it perform verification of AI systems? |
| 16:30 - 17:00 | Discussion N, topic(s) on demand |
| 17:00 - 17:30, report back and general discussion | |
| 17:30 | Closing of Workshop |
last update: 2020-21-09