Sport JO 2024 : Quel rôle pour les scientifiques français ? Modélisation et Simulation Nastassia Pouradier Duteil, la passion de la dynamique collective Environnement et planète Une réduction des émissions de gaz à effet de serre grâce aux sciences du numérique
Environnement et planète Une réduction des émissions de gaz à effet de serre grâce aux sciences du numérique
© Freestocks sur Unsplash Industries du futur Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 05/03/2024
© Inria / Photo D. Betzinger Startups Partenariat QuaCS-Quandela : lumière sur les algorithmes quantiques 02/12/2022
© 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