Project Plenary Meeting: a DéCySi-ve Day

On Thursday, March 13, 2025, all the partners of the Decysif project (TrustInSoft, AdaCore, OCamlPro, and the LMF team) gathered at the OCamlPro offices in Paris’s 14th arrondissement for the project’s plenary meeting! It was the perfect occasion for these twenty engineers to come together and take stock of the progress on research topics, projects, and tools that are continuously growing and evolving! It was also a great opportunity to review the remaining objectives and to discuss the organization and schedule of the work ahead.