International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 15:00 | Beyond Explaining the System: Action-Space Transparency for Responsible Human–AI Interaction | Alexander Werk |
| 15:30 | Conceptual Infrastructure for Explainable AI | Timo Speith, Astrid Schomäcker |