© Inria / Photo L.Moreno Robotique Comment la recherche repousse les limites de la robotique Communication / Événement Remise des Prix Inria 2024 Bourses ERC MALINCA : le projet qui ambitionne de réduire le fossé linguistique entre les mathématiciens et les machines
Bourses ERC MALINCA : le projet qui ambitionne de réduire le fossé linguistique entre les mathématiciens et les machines
© 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
