15 February 2024 Communication / Event Colloquium Polaris - Nathanaël Fijalkow explores how machine learning meets program synthesis Ircica
© Inria / Photo C. Morel Industrial partnerships Berger-Levrault and Inria launch a dedicated software engineering team 23/06/2023
© Inria / Photo B. Fourrier Programming languages Cambium unveils a new version of OCaml programming language 16/12/2022
© Inria / Photo C. Morel Opensource RISC-V open-source microprocessor: what are the opportunities for software engineering and security research? 10/10/2022
© Inria / Photo B. Fourrier Awards & Honours CompCert software program receives a prestigious award 29/06/2022
© Inria / Photo C. Morel Programming languages Pharo Masterclass: Inria’s internationally-renowned expertise in opensource computing 21/10/2020