09:00
10:00
11:00
12:00
13:00
14:00
15:00
9:00 - 10:15 (1h15)
Conférences invitées
Amphi A
Federica Sarro
› Search-Based Software Engineering for Greener and Fairer Artificial Intelligence Systems
- Federica Sarro, University College, London
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Prix du meilleur poster
Amphi A
›10:30 (30min)
10:30 - 11:00 (30min)
Pause
11:00 - 12:30 (1h30)
GT CLAP + YODA
Salle 1 Palassou
Frédéric Dabrowski
› Simulations et compilation vérifiée
- Nicolas Chappe, Verimag
11:00-11:30 (30min)
› Vérification formelle de propriétés interactives: retours d'expérience
- Cécile Marcon, Fédération ENAC ISAE-SUPAERO ONERA
11:30-12:00 (30min)
11:00 - 12:30 (1h30)
GT IE + HIFI
Salle 2 Palassou
› Exigences de qualité extra-fonctionnelles des LLMs
- Jean-Michel Bruel, IRIT
11:00-11:45 (45min)
› Leveraging Verification to Enhance Formal Explainable AI for Neural Networks
- Ryma Boumazouza, Airbus S.A.S., Toulouse
11:45-12:15 (30min)
› Discussion
- Sylvain CONCHON, Laboratoire Méthodes Formelles - Aurélie Hurault, Université de Toulouse, IRIT-ENSEEIHT - Régine Laleau, Laboratoire d'Algorithmique Complexité et Logique - Thomas Polacsek, ONERA, Université de Toulouse [Toulouse]
12:15-12:30 (15min)
12:30 - 14:00 (1h30)
Déjeuner (+ posters)
Restaurant Universitaire
14:00 - 15:30 (1h30)
Atelier Défi TRUSTED
Salle 1 Palassou
Thomas Degueule
14:00 - 15:30 (1h30)
Atelier Défi IPP
Salle 2 Palassou
IPP
14:00 - 15:30 (1h30)
Atelier Défi PAE
Salle 3 Palassou
14:00 - 15:30 (1h30)
Atelier Défis ADAPT
Salle 4 Palassou
14:00 - 15:30 (1h30)
Atelier Défis IA
Salle 4 Palassou
›14:00 (1h30)
14:00 - 15:30 (1h30)
Atelier Défi GL4Sec
Nikolai Kosmatov
14:00 - 15:30 (1h30)
Atelier Défi FadingICT
Hall Sciences
15:30 - 15:45 (15min)
Cloture des journées
Amphi A
