Sites Inria

Version française

Latest news

MOOC

A MOOC on privacy protection in the digital world

29/01/2018 to 26/03/2018

Internet and smartphones accompany our daily life and make many tasks easier for us. While some of the successes of new technologies are undeniable, there is a counterpart: we have become data producers, coveted by many companies or government agencies.

Place : FUN

Guest(s) : Cédric Laradoux and Vincent Roca

Keywords:

lire la suite

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium Seminary

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.

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

Guest(s) : Hugo Illous- ENS

Keywords:

lire la suite

Top