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
Resarch team 's seminary
We present the PML₂ language, which provides a uniform environment for programming, and for proving properties of programs in an ML-like setting
Place : Inria de Paris- 2 rue Simone Iff- 75012
Guest(s) : Rodolphe Lepigre - Inria Saclay, LSV, CNRS