Lecture offerte

Informatique industrielle

Le 23/09/2024 à 16:42 par Charlotte Huguerre-Cousin

L’Inria et Berger-Levrault présentent les premiers résultats de leur collaboration

L’Inria est l’institut national de recherche en sciences et technologies du numérique et Berger-Levrault est une ETI et un éditeur…

Lecture offerte

Automatisme

Le 11/03/2024 à 15:24 par Sophie Eremian

Le CEA, le CNRS et Inria pilotent le programme de recherche « Robotique organique »

Lancé le 11 mars à Montpellier, ce programme vise à repenser la robotique moderne afin de l’adapter davantage à l’être…

Lecture offerte

Logiciels

Le 06/02/2015 à 9:49 par Cédric Lardière

AdaCore et l’Inria lancent le laboratoire commun ProofInUse

Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…