Sites Inria

English version

A la une

MOOC

FUN : à venir, le MOOC "Défis technologiques des villes intelligentes participatives"

6/11/2017 au 31/12/2017

La session 3 du Mooc "Défis technologiques des villes intelligentes participatives" revient sur FUN dès le 06 novembre 2017. Ce cours est proposé par N. Anciaux, S.Grumbach, V. Issarny, N. Mitton, C. Morin, A. Pathak, H.Rivano : chercheurs en informatique, ils sont respectivement spécialistes des systèmes de gestion de bases de données, plateformes d’intermédiation, systèmes logiciels distribués, réseaux sans fil, informatique en nuage, solutions logicielles pour les réseaux de capteurs ou réseaux urbains.

Mots-clés :

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

18/12/2017

Rust is a new language developed at Mozilla Research that marries together the low-level flexibility of modern C++ with a strong "ownership-based" type system guaranteeing type safety, memory safety, and data race freedom. Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.

Lieu : Inria de Paris - 2 rue Simone Iff - Salle Lions 1, bâtiment C

Intervenant(s) : Jacques-Henri Jourdan

Mots-clés :

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !