Sites Inria

There are 3 Results with the keyword : "Proofs"

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

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.

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

Keywords:

Home > News > Calendar > Forum Microsoft Research Inria 2011

lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

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.

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

Keywords:

Home > Centre > Paris > Calendar > Forum Microsoft Research Inria 2011

lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Spring School

MAP Spring School

12/03/2012 to 16/03/2012

Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library

Place : Inria Sophia Antipolis - Méditerranée

Keywords:

Home > Research > Calendar > MAP Spring School

Read more

Top