| 08h30 — 09h00 | Accueil café | |
| 09h00 — 09h05 | Kick-off de la journée | – Jules C. et Jolan P. |
| 09h05 –– 10h00 | Analyse d’atteignabilité : Calcul automatique d’approximations concluantes en réécriture | – Yohan B. |
| 10h00 — 10h30 | Formalisation de l’élimination des coupures en théorie des jeux. (Internship defense) | – Thomas T. |
| 10h30 — 10h45 | Pause café | |
| 10h45 — 11h15 | Projet de recherche et intégration | – Guillaume A. |
| 11h15 — 11h45 | tbd. | – Yani Z. |
| 12h00 — 13h30 | Pause midi | |
| 13h45 –– 14h15 | Bilan de l’équipe et retour du conseil scientifique | – Fred L. |
| 14h15 — 15h20 | Session UniVerSE – Contexte du début du projet UniVerSE: ICVL + dépôt ANR JCJC – A Review of the UVL Ecosystem – mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language | – Jolan P. – Nicolas P. – Fred L. |
| 15h20 –– 15h35 | Pause café | |
| 15h35 — 16h20 | Kairos : de la spécification temporelle de sûreté à la preuve locale | – Terence C. |
| 16h20 — 17h20 | Atelier – projet futur | – Équipe LMV par groupe |
| 17h20 –– 17h30 | Wrap-up et clôture | – Jules C. et Jolan P. |
| 19h00 — 21h00 | Diner | |