Sites Inria

There are 3 Results with the keyword : "Coq"

Soutenance de thèse

Soutenance de thèse Pierre BOUTILLIER

18/02/2014

Pierre BOUTILLIER ( PIR2 )

Place : Salle des thèse de l'Université Paris Diderot - 10 rue Françoise Dolto 75013 Paris - Accès Halle aux farines Hall F, 5ème étage - 14h30

Keywords:

Home > Centre > Paris > Calendar > Soutenance de thèse Pierre BOUTILLIER

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

Award

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy,Gallium project team leader at the Inria Paris-Rocquencourt research centre, has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science.

Keywords:

Home > Centre > Paris > News > Xavier Leroy, Royal Society Milner Award 2016

More

Top