International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | The Right to Explanation in the European AI Act | Georg Borges |
| 15:00 | Clarifying the Relationship Between Explainability and Societal Desiderata | Sara Mann |
| 15:30 | The Reasons of AI Systems | Kevin Baum, Eva Schmidt, Maximilian Schlüter, Timo Speith |