BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A modular formalisation of finite group theory - Georges Gonthier 
 (Microsoft Research)
DTSTART:20071023T120000Z
DTEND:20071023T130000Z
UID:TALK8506@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Georges Gonthier (Microsoft Research):\n\nIn this paper\, we p
 resent a formalisation of elementary group theory done in\nCoq. This work 
 is the first milestone of a long-term effort to\nformalise Feit-Thompson t
 heorem. As our further developments will heavily\nrely on this initial bas
 e\, a special care has been taken to articulate it in\nthe most compositio
 nal way.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR