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

5/03/2018

Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.

Lieu : Inria de Paris- 2 rue Simone Iff- 75012

Intervenant(s) : Hugo Illous- ENS

Mots-clés :

lire la suite

Haut de page

Suivez Inria