Sites Inria

Version française

Laboratoire commun

Forum 2011 : Microsoft Research - Inria

You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

  • Date : 12/04/2011
  • Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux
  • Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure
  • Organiser(s) : Microsoft Research - Inria

Keywords: Microsoft research Joint Laboratory Formal Methods E-Sciences Proofs TLA+ Coq Ssreflect Mathematical Functions ReActivity Computer vision Machine learning Saclay - Île-de-France