Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

kickoff [2014/03/12 16:11]
smimram
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|//​pause//|| +|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//​|| 
kickoff.txt · Last modified: 2014/04/01 23:02 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