===== Event Organisation ===== * * 27/05/2025 Les Journées Scientifiques 2025 de Nantes Université {{ :velo:logo-js-abrial.png?200|}} CL1 - //J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie// [[https://js.univ-nantes.fr/jassiste-aux-colloques/js25cl1|Lien CL1/JS2025]] [[velo:js2025|détails]] {{ :velo:js2025.png?400 |}}