© Inria / Photo B. Fourrier Programming languages Cambium unveils a new version of OCaml programming language 16/12/2022
© Inria / Photo B. Fourrier Awards & Honours CompCert software program receives a prestigious award 29/06/2022
©Collège de France - Patrick Imbert Awards & Honours Xavier Leroy appointed to the French Academy of Sciences: a life devoted to computing 21/02/2023