Intelligence artificielle IA de confiance : vers une intelligence artificielle fiable, explicable et responsable Prix & Distinctions Les sciences et technologies du numérique mises à l'honneur à l'Académie des Sciences Climat Big data, IA et environnement : l’union des sciences face à l’urgence
Intelligence artificielle IA de confiance : vers une intelligence artificielle fiable, explicable et responsable
Prix & Distinctions Les sciences et technologies du numérique mises à l'honneur à l'Académie des Sciences
© Adobe Stock Sécurité & Vie privée Sites pour adultes : protéger à la fois les mineurs et l’identité des majeurs 19/06/2024
© 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
