Calcul formel Certifier l’exactitude, la sécurité et la fiabilité des logiciels : Swarn Priya lauréate du prix L’Oréal-UNESCO 2023 09/10/2023
© Inria / Photo C. Morel Partenariats industriels Berger-Levrault et Inria lancent une équipe dédiée au génie logiciel 23/06/2023
Bruno Sportisse, Sylvie Retailleau et Ton Van de Kok (PDG du CWI) lors de la visite des locaux de notre partenaire CWI le 12 avril 2023, en présence de Robbert Dijkgraaf, ministre de l'Education, de la culture et des sciences des Pays-Bas. / © CWI Partenariats internationaux Inria et le CWI développent une recherche européenne au service de la souveraineté 13/04/2023
©Collège de France - Patrick Imbert Prix & Distinctions Xavier Leroy, élu à l’Académie des sciences : une vie dédiée à l’informatique 21/02/2023
© Inria / Photo B. Fourrier Langages de programmation Cambium dévoile une nouvelle version du langage de programmation OCaml 16/12/2022
© Inria / Photo C. Morel Opensource/Logiciel libre Microprocesseur open source RISC-V : quelles opportunités pour la recherche en génie logiciel et sécurité ? 10/10/2022
© Inria / Photo B. Fourrier Open science/Open Access Science ouverte : quel rôle pour Inria ? 10/02/2022
© Inria / Photo C. Morel Logiciel Inria et le logiciel libre : un soutien sans faille depuis près de vingt ans 10/02/2022
© Inria / Photo É. Garault 8 novembre 2023 – 7 novembre 2024 Logiciel Un MOOC scikit-learn développé par ses créateurs !
