Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

This is an old revision of the document!


Kick-off afternoon

The trimester will begin with a kick-off afternoon on April 22, intended for a large audience of mathematicians and computer scientists. It will consist of 4 talks:

  • Georges Gonthier (Microsoft Research, Cambridge, and Microsoft INRIA Joint Center, Palaiseau): Digitizing the Group Theory of the Odd Order Theorem
  • Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture
  • Xavier Leroy (INRIA Paris-Rocquencourt): Proof assistants in computer science research
  • Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics

Planning

14h-15hGeorges GonthierDigitizing the Group Theory of the Odd Order Theorem
15h-16hThomas HalesFormalizing the proof of the Kepler Conjecture
16h-16h30break
16h30-17h30Xavier LeroyProof assistants in computer science research
17h30-18h30Vladimir VoevodskyUnivalent Foundations - new type-theoretic foundations of mathematics
18h30cocktail
kickoff.1395766685.txt.gz ยท Last modified: 2014/03/25 17:58 by smimram
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0