Sport JO 2024 : Quel rôle pour les scientifiques français ? Institut Inria lance son Programme de recherche à risque : le Programme Inria Quadrant Histoire du numérique Gérard Le Lann : de l'invention d'internet à l'intelligence algorithmique
© Freestocks sur Unsplash Industries du futur Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 05/03/2024
© Inria / Photo C. Lebedinsky Partenariats européens Assistants de preuve : renforcer la position européenne via EuroProofNet 01/03/2022