09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
9:30 - 10:30 (1h)
Invités
Amphithéatre TA
› Revisiting Program Analysis through the Security Lens
- Sébastien Bardin, CEA LIST
09:30-10:30 (1h)
10:30 - 11:00 (30min)
Pause café
Amphithéatre TA
11:00 - 12:30 (1h30)
GT GLSec
TD2
Salah Sadou (IRISA, UBS)
› Collaborative Security-by-Design Platform with Model-Driven Engineering approach
- Othmane El Karm, IRIT
11:00-11:30 (30min)
› Améliorer la confiance dans la chaine d'approvisionnement du logiciel avec les gestionnaires de paquets fonctionnels et la compilation reproductible
- Julien Malka, Telecom Paris
11:30-12:00 (30min)
› Feature-based software architecture analysis to identify safety and security interactions
- Oum El Kheir Aktouf, LCIS
12:00-12:30 (30min)
11:00 - 12:20 (1h20)
AFADL
Amphithéatre TA
› Décider la contextualité de configurations quantiques avec un solveur SAT
- Axel Muller, Université de Franche-Comté, CNRS, Institut FEMTO-ST
11:00-11:20 (20min)
› Vérification de propriétés interactives sur des systèmes réactifs interactifs
- Cécile Marcon, Institut Supérieur de lÁéronautique et de lÉspace
11:20-11:50 (30min)
› Vérification de modèles relationnels et temporels avec Pardinus
- David Chemouil, ONERA DTIS, Université de Toulouse - Alcino Cunha, INESC TEC, University of Minho
11:50-12:20 (30min)
12:30 - 14:00 (1h30)
Déjeuner
Amphithéatre TA
14:00 - 15:15 (1h15)
Invités
Amphithéatre TA
Médaille d'argent du CNRS 2023
› How to provide proof that software is bug-free? Verified compilation to the rescue
- Sandrine Blazy, IRISA
14:00-15:15 (1h15)
15:15 - 15:45 (30min)
Pause café
Amphithéatre TA
15:45 - 17:15 (1h30)
GT LVP AFADL
Amphithéatre TA
Langages et vérification de programmes + AFADL
› Une logique de séparation de haut niveau pour l'espace de tas en présence d'un glaneur de cellule
- Alexandre Moine, Inria
15:45-16:15 (30min)
› Génération automatique de tests d'égalité corrects en Coq, en pratique
- Jean-Christophe Léchenet, INRIA
16:15-16:45 (30min)
› Nondeterministic, Recursive, and Impure Programs in Coq
- Ludovic Henrio, LIP
16:45-17:15 (30min)
17:15 - 18:30 (1h15)
AG du GDR GPL (temps d'échanges)
Amphithéatre TA
18:30 - 21:30 (3h)
Food Trucks @ Diapason && Art Performance (by Disnovation)
Food Trucks @ Diapason && Art Performance (by Disnovation)
