/program/index.html Here is the (provisional) program of the GT DAAL 2025 annual meeting. It will span over 1 day and a half (Monday afternoon and Tuesday). Monday 12 May (afternoon only) All the talks will take place in amphithéâtre Maurice Gross. 13:00 – 14:00 Registration & welcome coffee in Copernic Building 14:00 – 15:00 Invited talk: A Brief Account of Explainability, Interpretability, and Verifiability in AI, by Benedikt Bollig (Laboratoire Méthodes Formelles, ENS Paris-Saclay) Abstract This talk looks at explainability, interpretability, verifiability, and other key properties of AI systems. Hugo en-us