|
|
|
Programme
 |
jeudi 19 juin 2025 |
|
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
|
9:00 - 10:15 (1h15)
Conférences invités
 Amphi A
Federica Sarro
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 IE + HIFI
Salle 1 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 Defense and Space, 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)
GT CLAP + YODA
Salle 2 Palassou
14:00 - 15:30 (1h30)
Atelier Défi IPP
Salle 1 Palassou
IPP
14:00 - 15:30 (1h30)
Atelier Défi PAE
Salle 2 Palassou
15:30 - 16:00 (30min)
Pause
Hall Sciences
16:00 - 17:30 (1h30)
Atelier Défis
Salle 1 Palassou
16:00 - 17:30 (1h30)
Atelier Défis
Salle 2 Palassou
16:00 - 17:30 (1h30)
Atelier Défis
Salle 3 Palassou
17:30 - 17:45 (15min)
Cloture des journées
Amphi A
|
| Session | Discours | Logistique | Pause | Sortie |
