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:04]
smimram
kickoff [2014/04/01 23:02] (current)
smimram [Planning]
Line 7: Line 7:
   * **Vladimir Voevodsky** (Institute for Advanced Study, Princeton): //Univalent Foundations - new type-theoretic foundations of mathematics//​   * **Vladimir Voevodsky** (Institute for Advanced Study, Princeton): //Univalent Foundations - new type-theoretic foundations of mathematics//​
  
-We shall take benefit ​of the context offered by the thematic to  trimester to organize an afternoon session on //Formal methods for reliable software development in industry// on April 28. The primary aim of the session will be  to give an opportunity to students and academics and non-academic researchers to hear about recent developments ​of this kind carried out in an industry context. The programme of this afternoon is under elaboration.+===== Planning ===== 
 +|14h-14h10 ​        |« Semantics ​of proofs and certified mathematics » trimester presentation|| 
 +|14h-14h20 ​        ​|Welcoming words from Cédric Villani ​the IHP Director|| 
 +|14h20-15h10 ​      ​|Georges Gonthier ​     |Digitizing ​the Group Theory of the Odd Order Theorem| 
 +|15h10-16h ​        ​|Thomas Hales          |Formalizing the proof of the Kepler Conjecture| 
 +|16h-16h30 ​        |//break//|| 
 +|16h30-17h20 ​      ​|Xavier Leroy  |Proof assistants in computer science research| 
 +|17h20-18h10 ​      ​|Vladimir Voevodsky ​ |Univalent Foundations - new type-theoretic foundations ​of mathematics| 
 +|18h15 ​            ​|//​cocktail//​||
  
-===== TEST ===== 
kickoff.1394636687.txt.gz · Last modified: 2014/03/12 16:04 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