10/04/2025 Pitch Emmanuel “Ajout d’un programme dans HAL”pdf Pré-soutenance Hiba
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 Lien CL1/JS2025 détailsDiscussion Christian “Béret rouge sans l imite” pdfsee AeLoS and Coloss presentations