
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é ParisSud This lecture is about the proof in Coq of the FeitThompson 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 6year 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. 




News 


Yannis Manoussakis passed away6 June 2021We have just learned of the death of Yannis Manoussakis, Professor at the University of ParisSaclay, 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.
Our Semaine du cerveau : Cerveau connectÃ©16 March 2021Wizard project1 April 2021Innovation Area: Public Safety, IoT, Mobility




