Sites Inria

English version

Laboratoire commun

Forum 2011 : Microsoft Research - Inria

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

  • Date : 12/04/2011
  • Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux
  • Intervenant(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
  • Organisateur(s) : Microsoft Research - Inria

Mots-clés : Microsoft research Laboratoire commun Méthodes formelles Preuves Fonctions mathématiques Vision artificielle Saclay - Île-de-France E-Sciences TLA+ Coq Ssreflect ReActivity

Haut de page

Suivez Inria