Sites Inria

There are 2 Results with the keyword : "joint laboratory"

Laboratoire commun

Forum Microsoft Research Inria 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


Home > News > Calendar > Forum Microsoft Research Inria 2011

lire la suite

Claude Marché, Toccata team leader - © Inria / Photo Kaksonen

Research-Industry partnership

ProofInUse: a joint Inria and AdaCore laboratory

Bertrand Bourgine - 17/03/2014

With the launch of a joint laboratory, the Toccata research team, which specialises in formal specification and computer-assisted proofs, is increasing its collaboration with AdaCore, the specialist publisher of development software for critical systems.


Home > Centre > Saclay > News > ProofInUse : le LabCom Inria-AdaCore