© Inria / Photo L.Moreno Robotique Comment la recherche repousse les limites de la robotique Bourses ERC MALINCA : le projet qui ambitionne de réduire le fossé linguistique entre les mathématiciens et les machines Intelligence artificielle IA durable : comment concilier performance et respect de l'environnement ?
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
© Inria / Photo S. Erôme - Signatures Cryptographie Vers l’émergence d’un Internet de la preuve ? 12/04/2021
Pete Linforth de Pixabay Cryptographie Sécurité des données : une signature postquantique qui tient bon ! 02/03/2021
Image par Pete Linforth de Pixabay Garantir la sécurité de l’information à l’ère de l’ordinateur quantique 03/11/2020
© Sashkin - stock.adobe.com Blockchains : une chaire pour préparer les applications de demain 06/05/2019
26 juin – 6 juillet 2024 Communication / Événement La quinzaine internationale de la logique et du raisonnement automatique se tiendra à Nancy ! Lieu : Centre Inria de l'Université de Lorraine
© Inria / Photo C. Tourniaire 24 mai 2023 Histoire du numérique Conférence de Gérard Le Lann : "Genèse d'Internet : 25 années qui ont changé le monde" Lieu : Amphithéâtre d’Orange Atalante
7–9 juin 2022 Cybersécurité Inria et ses partenaires vous donnent rendez-vous au FIC 2022 Lieu : Lille Grand Palais
