Sites Inria

There are 13 Results with the keyword : "Coq"

Scientific partnership

Forum 2011 MSR Inria

Céline Acharian - 18/03/2011

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.


Home > News > News from Inria > Forum 2011 Labo MSR-Inria


© Photo Bernard Lachaud

Computer-Assisted Proof

Using the precision of computers to aid mathematics

Nathaly Mermet, Technoscope - 6/12/2012

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


Home > Centre > Saclay > News > La précision des ordinateurs au service des mathématiques


© Inria / Photo N. Lacaux


Launch of InriaSoft, software community

Jean-Michel Prima (*) - 15/01/2018

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.


Home > News > News from Inria > Lancement d'InriaSoft, communauté de logiciels