Ces trois jours s’articuleront autour de sessions animées par des scientifiques de l’institut et des invités extérieurs, autour de cinq thématiques :
- Thématique 1 – Logiciel et jumeau numérique
Coordinateur : Benoit Combemale - Thématique 2 – Challenges et perspectives sur les aspects quantitatifs des méthodes formelles
Coordinateurs : Liliana Cucu-Grosjean et Hubert Garavel - Thématique 3 – Architectures pour les machines modernes & calculs IA
Coordinateurs : Angeliki Kritikakou et Christian Fabre (CEA) - Thématique 4 – Session Infrastructures pour la gestion des données, et l’inférence dans le contexte IA
Coordinateurs : Yassine Hadjadj-Aoul et Claudia Ignat - Thématique 5 – Infrastructures soutenables, impact sociétal
Coordinateur : Romain Rouvoy