Events

Archives

Share:
A A
23 February 2007
Informal presentation of ssreflect
Informal presentation of ssreflect, February 23rd 2007, at 2:00pm ssreflect is the langage of tactics that Georges Gonthier has developed while he was proving the 4-colours theorem. Presentation will with help of Roland Zumkeller and Russell O’connor. Anyone interested is welcomed ... More
13 February 2007
1st meeting of Management Committee in 2007
More
12 February 2007
Kohei Honda, talk on An experience in W3C cdl working group
On importance of bringing theory to industry: an experience in w3c cdl working group Kohei Honda, Queen Mary College ... More
7 February 2007
Steve Kremer (ENS-Cachan) and David Galindo (ENS)
More
5 February 2007
Benjamin Werner, Joint Centre + LIX, Une normalisation par évaluation en coq
More
11 January 2007
Inauguration du Centre Commun de Recherche INRIA-Microsoft Research
Inauguration du Centre Commun de Recherche INRIA-Microsoft Research Sous le haut patronage du Ministère de la Recherche et du Ministère de l’Industrie, à l’occasion de l’inauguration du Centre de Recherche Commun INRIA-Microsoft Research, Michel Cosnard, Président Directeur Général de l’INRIA, Jean-Jacques Lévy, Directeur du Centre de Recherche Commun INRIA-Microsoft Research, ... More
6 November 2006
2nd meeting in 2006 of Management Committee
The meeting was an audioconf between Orsay, Cambridge, Rocquencourt and ENS in Paris ... More
18 October 2006
Steve Ballmer gives a talk for students of Ecole polytechnique
More
19 June 2006
2 seminars on computational science by Stephen Emmott and Ken Wood, MSR Cambridge
More
12 June 2006
TYPES Workshop on Numbers and Proofs
This workshop is part of the TYPES working group. It was organized by Benjamin Werner, Laurent Thery and Benjamin Gregoire ... More