Réunion plénière du projet : une journée DéCySi-ve

Jeudi 13 Mars 2025, tous les partenaires du projet Decysif (TrustInSoft, AdaCore, OCamlPro et l’équipe LMF) se sont réunis dans les locaux d’OCamlPro dans le 14ème arrondissement de Paris pour la réunion plénière du projet ! L’occasion parfaite pour que ces vingt ingénieur.es se retrouvent pour faire le point sur l’avancée des sujets recherches, projets et outils qui grandissent et évoluent continuellement conjointement ! Une bonne opportunité également pour revoir les objectifs restant à atteindre, et d’échanger sur l’organisation et l’agenda des travaux.