Inria
Inria.fr
Inria Channel
Partenariat scientifique
Forum 2011 du laboratoire commun Microsoft research-Inria
Le 12 avril prochain, l'Inria et Microsoft Research organisent, au Centre de conférence de Microsoft-France à Issy-les-Moulineaux, la journée annuelle de présentation des équipes de recherche du laboratoire commun. Lors de ce Forum 2011, les chercheurs rendront publics les travaux de leurs 8 équipes de recherche. Un programme chargé de conférences et de démonstrations, témoin de la qualité de la collaboration scientifique au sein de ce jeune laboratoire.
Dictionnaire des fonctions mathématiques, vision artificielle, outils de visualisation, preuves et méthodes formelles... le programme de conférences et de démonstrations du Forum Inria-Mircrosoft research du 12 avril prochain balaiera toutes les thématiques scientifiques abordées au sein du laboratoire commun.
L'occasion de mesurer l'avancée de ces travaux de fond menés depuis 4 ans, et qui visent à doter la communauté scientifique internationale de nouveaux outils informatiques (e-sciences).
Pour rappel : tous les résultats des recherches du laboratoire commun sont en effet publics, les logiciels autant que les publications.
Mots-clés : Microsoft research Méthodes formelles Preuves Fonctions mathématiques Vision artificielle E-Sciences TLA+ Coq Ssreflect ReActivity Laboratoire commun Saclay - Île-de-France
En savoir plus
