There are 13 Results with the keyword : "Coq"
On April 12th, Inria and Microsoft will organize a forum, to be held at Le Campus Microsoft, to celebrate four years of existence of the research centre created jointly by the two partners. This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations.
- Microsoft Research
- Méthodes formelles
- Fonctions mathématiques
- Vision artificielle
- Laboratoire commun
- Saclay - Île-de-France
Along with the Typical research team from Inria Saclay – Ile-de-France, the Marelle research team from the Inria Sophia Antipolis – Mediterranée research centre has made a major contribution to the Mathematical Components project, led by Georges Gonthier as part of the joint Inria – Microsoft Research laboratory. We take a look back at this exciting experience with Marelle researcher Laurence Rideau
- Mathematical components
- Project-team MARELLE
- Inria - Microsoft Research Lab
- Inria research centre - Sophia Antipolis - Méditerranée
InriaSoft aims for the durable development of large-scale software programs by bringing together their user communities within consortia that will finance a team of engineers tasked with their maintenance and evolution. The InriaSoft headquarters are based in Rennes, as Claude Labit, director, and David Margery, technical director of this national action backed by the Fondation Inria, explain.