Sites Inria

Il y a 12 Résultats avec le mot clé : "OCaml"

Prix Inria 2018

Palmarès des Prix Inria 2018

A.B. (*) - 14/12/2018

Découvrez celles et ceux qui sont honoré.e.s cette année pour leurs contributions majeures aux sciences du numérique, au déploiement d’innovations riches de promesses pour notre société ainsi qu’au bon fonctionnement de l’institut. Les lauréates et lauréats 2018 des cinq prix Inria sont à l’honneur le 18 décembre 2018 lors d'une cérémonie qui leur est consacrée au Collège de France.

Mots-clés :

Accueil > Actualité > Actualités Inria > Palmarès des Prix Inria 2018

Lire la suite

Séminaire Gallium

Séminaire Gallium

21/01/2019

Lieu : 2 rue Simone Iff 75012, Salle JLL1, bât. C - 10h30

Intervenant(s) : Frédéric Bour

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria