News

Archives

Projects

Share:
A A
Gonthier
20 September 2012 - Mathematical Components
Feit thomson proved in coq
Feit-Thompson theorem has been totally checked in Coq Thursday 20 September 2012, 18:16. We received following mail from Georges Gonthier (see below).It concludes the proof in Coq of the Feit-Thompson theorem. This theorem, also named the Odd Order Theorem, is the first main result in the classification of finite groups.This work was achieved by the.. ... More
4-colours-cartouche
20 September 2012 - Mathematical Components
The formalization of the Odd Order theorem has been completed September 20th 2012
“This is really the End”. After a six year effort, members of the Mathematical Components team have completed an axiom-free formalization of the proof of the Odd Order theorem (due to Walter Feit and John Griggs Thompson), using the Coq proof assistant. Read the announcement on the Microsoft Research website. Read the announcement on the Inria Microsoft Research Joint Centre website... ... More
5 September 2012 - Mathematical Components
Ssreflect 1.4 has been released
The ssreflect developers are pleased to announce the new release of ssreflect 1.4 for Coq 8.4 and Coq 8.3pl4. More on Mathematical Components web page ... More
Karthikeyan Bhargavan
4 May 2012 - Mathematical Components
Karthikeyan Bhargavan defends his HDR
Friday 4 May 2012, 11h Salle W, École Normale Supérieure 45, rue d’Ulm, 75005 — Paris Karthikeyan Bhargavan defends his HDR (Habilitation) entitle “Towards the Automated Verification of Cryptographic Protocol Implementations” - Inria - Paris Rocquencourt Abstract: In recent years, the emergence of effective protocol analyzers and expressive cryptographic models have ... More
28 March 2012 - Mathematical Components
Georges Gonthier is awarded of the “Grand Prix de la fondation EADS”
Fondation EADS Journée Envol Recherche www.envol-recherche.fr 18h45 Grand Prix Sciences de l’Informatique: Georges Gonthier, Principal Researcher, Microsoft Research Cambridge and Microsoft Research-INRIA Joint Centre, received the “Grand Prix de la fondation EADS”.   See the Microsoft Research page of this event. ©EADS Corporate Foundation   More
5 May 2008 - Mathematical Components
Andrea Asperti starts a 4-month visit
Andrea Asperti starts a 4-month visit in the Math. Components team and work on ssreflect ... More
2 May 2007 - Mathematical Components
Guillaume Melquiond arrives from ENS-Lyon for 1 year as post doctorant in Orsay
More
5 September 2006 - Mathematical Components
Arrival of Assia Mabhoubi on post-doc position for 2 years
More
3 May 2006 - Mathematical Components
Georges Gonthier is full-time in Orsay for 6 months
More