Registration
This is an old revision of the document!
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:
14h-15h | Georges Gonthier | Digitizing the Group Theory of the Odd Order Theorem |
15h-16h | Thomas Hales | Formalizing the proof of the Kepler Conjecture |
16h-16h30 | break | |
16h30-17h30 | Xavier Leroy | Proof assistants in computer science research |
17h30-18h30 | Vladimir Voevodsky | Univalent Foundations - new type-theoretic foundations of mathematics |
18h30 | cocktail |