Sites Inria

English version

A la une

MOOC

Un MOOC sur la protection de la vie privée dans le monde numérique

29/01/2018 au 26/03/2018

Internet et smartphones accompagnent notre vie quotidienne et nous facilitent de nombreuses tâches. Si certains succès des nouvelles technologies sont indéniables, il existe une contre-partie : nous sommes devenus des producteurs de données, convoitées par de nombreuses sociétés ou agences étatiques.

Lieu : FUN

Intervenant(s) : Cédric Laradoux et Vincent Roca

Mots-clés :

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

26/03/2018

Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.

Lieu : Inria de Paris - 2 rue Simone Iff 75012- Batiment C - Salle Jacques Louis Lions

Intervenant(s) : Raphaël Cauderlier

Mots-clés :

lire la suite

Eoliennes © Distel2610 /CC BY-NC 2.0 / Pixabay

Conférences-débats

La finance peut-elle sauver le climat ?

26/03/2018

Le cycle de conférences-débats "Comprendre et Agir" se poursuit avec l'intervention lundi 26 mars 2018 d'Alain Grandjean, économiste de l’environnement.

Lieu : Inria Grenoble Rhône-Alpes

Intervenant(s) : Alain Grandjean

Mots-clés :

lire la suite

Haut de page

Suivez Inria