09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
9:00 - 10:30 (1h30)
Conférences invités
Diapason
› Global Warming: The need for a new model of development and the key role of higher education
- Jean Jouzel, Scientific Working Group of the Intergovernmental Panel on Climate Change (IPCC)
09:00-10:30 (1h30)
10:30 - 11:00 (30min)
Pause café
Amphi P ISTIC
11:00 - 12:30 (1h30)
GT CLAP
i50 ISTIC
Compilation, Langages, Analyses, Parallélisme
› RT-DFI : Optimizing Data-Flow Integrity for Real-Time Systems
- Nicolas Bellec, Pushing Architecture and Compilation for Application Performance
11:00-11:30 (30min)
› Polymorphic Types with Polynomial Sizes
- Jean-Louis Colaço, ANSYS
11:30-12:00 (30min)
› Co-optimizing Dataflow Graphs and Actors with MLIR
- Pedro Ciambra, Institut d'Électronique et des Technologies du numéRique, Computer Systems Laboratory [Campinas]
12:00-12:30 (30min)
11:00 - 11:50 (50min)
AFADL
Amphi P ISTIC
› Cybersécurité pour les systèmes embarqués critiques à base d'Intelligence Artificielle
- Céline Bellanger, enac
11:00-11:20 (20min)
› Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
- Romain Pascual, MICS, CentraleSupélec, Université Paris-Saclay
11:20-11:50 (30min)
12:30 - 14:00 (1h30)
Déjeuner
Amphi P ISTIC
14:00 - 15:30 (1h30)
GT Debugging
i50 ISTIC
› Finding Faults of Executable Models: Manually and Automatically
- Faezeh Khorram, Huawei Technologies
14:00-14:30 (30min)
› Protocol-Based Interactive Debugging for Domain-Specific Languages
- Josselin Enet, NaoMod
14:30-15:00 (30min)
› Prototypage IHM pour la défense : déboguage et correctifs distribués à chaud et sans interruption de système collaboratifs en cours d'exécution
- Pierre Laborde, Thales DMS
15:00-15:30 (30min)
›14:00 (1h30)
GT Logiciel Eco-Responsable
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
› i51 ISTIC
14:00 - 15:30 (1h30)
GT Logiciel Eco-Responsable
i51 ISTIC
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
14:00 - 15:10 (1h10)
AFADL
Amphi P ISTIC
› Approche Formelle Dirigée par les Modèles pour la Collaboration de DSLs
- Salim Chehida, LIG, CNRS
14:00-14:30 (30min)
› Débogage Multivers de Modèles UML
- Matthias Pasquier, Ertosgener
14:30-15:00 (30min)
› Clôture
- Frédéric Mallet, Université Côte d'Azur
15:00-15:10 (10min)
15:30 - 16:00 (30min)
Pause café
Amphithéatre TA
16:00 - 17:30 (1h30)
GT Debugging
i50 ISTIC
› Détection des anomalies d'ordonnancement dans un système temps réel
- Blandine Djika, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
16:00-16:30 (30min)
› Comment faciliter le processus de debugging en tracant la compilation
- Bruno Mateu, IMT Atlantique
16:30-17:00 (30min)
›16:00 (1h30)
GT Logiciel Eco-Responsable
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
› i51 ISTIC
16:00 - 17:30 (1h30)
GT Logiciel Eco-Responsable
i51 ISTIC
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
