There are 2 Results with the keyword : "joint laboratory"
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
- Microsoft research
- Joint Laboratory
- Formal Methods
- Mathematical Functions
- Computer vision
- Machine learning
- Saclay - Île-de-France
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.
Inria Research Centers
- Saclay (2)