/index.html Welcome to the website of the 2025 annual meeting ot the GT Data, Automata, Algebra & Logic (DAAL) of the Groupement de Recherche Informatique Fondamentale et ses Mathématiques (GdR-IFM). Date & Venue The GT DAAL 2025 will span over one and a half day: on the afternoon of Monday, May 12, and all day on Tuesday, May 13. It is hosted by the Laboratoire Informatique Gaspard Monge (LIGM) located in Université Gustave Eiffel (UGE) in Champs-sur-Marne, France, in direct vicinity of Paris. Hugo en-us /registration/index.html Mon, 01 Jan 0001 00:00:00 +0000 /registration/index.html Registration is free but mandatory, for logistical reasons. It is open until the 8th of May, after which we cannot ensure that you will get a lunch on Tuesday. If this doesn’t scare you, you are still very welcome to register after this date to attend the talks. If you landed on this page, it most likely means that you either received the invitation email, which contains the link to register, or that you are a robot. /calls/index.html Mon, 01 Jan 0001 00:00:00 +0000 /calls/index.html The program is now full! You can have a look at it there. /program/index.html Mon, 01 Jan 0001 00:00:00 +0000 /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. /venue/index.html Mon, 01 Jan 0001 00:00:00 +0000 /venue/index.html The Copernic Building Address: 5 boulevard Descartes, 77420 Champs-sur-Marne. The Copernic building on Open Street Map. Amphithéâtre Maurice Gross The talks of the GT DAAL annual meeting will take place in Amphithéâtre Maurice Gross. It is located on the ground floor of the Copernic Building, on the left. Salle de séminaire du LIGM The P-ACTS seminar will take place in the seminar room (“salle de séminaire”) of the LIGM. It is the room 4B125, located on the 4th (and topmost) floor of the Copernic building. /contacts/index.html Mon, 01 Jan 0001 00:00:00 +0000 /contacts/index.html Local Organization Team Chloé Athénosy Léo Exibard Marie Van Den Bogaard Victor Marsault Werner Merian Yann Strozecki Contact email address: [name_of_the_gt]25-orga@listes.univ-eiffel.fr You should replace [name_of_the_gt] with the actual name of the GT above.