Français Anglais
Accueil Annuaire Plan du site
Home > News du laboratoire > DIGITEO seminar, June 20 2013
DIGITEO seminar, June 20 2013
DIGITEO seminar, June 20 2013 DIGITEO seminar, June 20 2013
20 June 2013

14:00 -15:00
Small amphitheater, Math building (425)
Georges Gonthier (Microsoft Research, Cambridge UK)

This lecture of the Digiteo seminar is organised in common with the Math department of the Université Paris-Sud


This lecture is about 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 team led by Georges Gonthier. It is the result of a 6-year long research effort (almost fulltime work) started in May 2006. After the Four Color theorem, this is the second impressive mathematical theorem totally proved in the Coq proof assistant. 

Yannis Manoussakis passed away
6 June 2021
We have just learned of the death of Yannis Manoussakis, Professor at the University of Paris-Saclay, on Saturday June 5.

He was the leader of the GALaC team and had been for many years director of the LRI, we lose a friend and a dear colleague.


Semaine du cerveau : Cerveau connecté
16 March 2021

Wizard project
1 April 2021
Innovation Area: Public Safety, IoT, Mobility