Registration
This shows you the differences between two versions of the page.
kickoff [2014/03/12 16:58] smimram [Planning] |
kickoff [2014/04/01 23:02] (current) smimram [Planning] |
||
---|---|---|---|
Line 8: | Line 8: | ||
===== Planning ===== | ===== Planning ===== | ||
- | |14h-15h|Georges Gonthier|Group Theory of the Odd Order Theorem| | + | |14h-14h10 |« Semantics of proofs and certified mathematics » trimester presentation|| |
- | |15h-16h|Thomas Hales|Formalizing the proof of the Kepler Conjecture| | + | |14h-14h20 |Welcoming words from Cédric Villani the IHP Director|| |
- | |16h-16h30|//break//|| | + | |14h20-15h10 |Georges Gonthier |Digitizing the Group Theory of the Odd Order Theorem| |
- | |16h30-17h30|Xavier Leroy|Proof assistants in computer science research| | + | |15h10-16h |Thomas Hales |Formalizing the proof of the Kepler Conjecture| |
- | |17h30-18h30|Vladimir Voevodsky|Univalent Foundations - new type-theoretic foundations of mathematics| | + | |16h-16h30 |//break//|| |
- | |18h30|//cocktail//|| | + | |16h30-17h20 |Xavier Leroy |Proof assistants in computer science research| |
+ | |17h20-18h10 |Vladimir Voevodsky |Univalent Foundations - new type-theoretic foundations of mathematics| | ||
+ | |18h15 |//cocktail//|| |