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

cirm [2014/03/07 15:03]
smimram [Second week]
cirm [2014/03/31 17:06] (current)
smimram [Second week]
Line 106: Line 106:
  
 ^Friday 18 April 2014||| ^Friday 18 April 2014|||
-Friday 18 April 2014 09:30 - 10:30 +|09:30 - 10:30|Alex Simpson|Semantics of programming languages with effects 5| 
-Alex Simpson ​"Semantics of programming languages with effects" ​+|//Coffee Break//||| 
-Friday 18 April 2014 10:30 - 11:00 +|11:00 - 12:00|Alex Simpson|Semantics of programming languages with effects 6| 
-Coffee Break +|//Lunch//||| 
-Friday 18 April 2014 11:00 - 12:00 +|14:00 - 15:00|Amal Ahmed|Syntax and semantics of low level languages 5| 
-Alex Simpson ​"Semantics of programming languages with effects" ​+|//Coffee Break//||| 
-Friday 18 April 2014 12:00 - 14:00 +|15:30 - 16:30|Amal Ahmed|Syntax and semantics of low level languages 6| 
-Lunch +|//Dinner (CIRM Marseille)//||| 
-Friday 18 April 2014 14:00 - 15:00 +===== Talks ===== 
-Amal Ahmed "Syntax and semantics of low level languages" ​+==== First week ====
-Friday 18 April 2014 15:00 - 15:30 +
-Coffee Break +
-Friday 18 April 2014 15:30 - 16:30 +
-Amal Ahmed "Syntax and semantics of low level languages" ​+
-Friday 18 April 2014 19:30 - 21:00 +
-Dinner (CIRM Marseille) +
- +
-=== Saturday 19 April 2014 +
-Saturday 19 April 2014 12:00 - 13:00 +
-Lunch (CIRM Marseille) +
- +
-==== Week 1 ====+
 From 7 to 11 April 2014. From 7 to 11 April 2014.
   * A 6-hour intensive course on **constructive mathematics and homotopy type theory** by //Thierry Coquand// (Chalmers University, Gothenburg):​ principles of constructive mathematics,​ Curry-Howard correspondence,​ typed λ-calculi, Martin-Löf type theory, homotopy type theory, univalence axiom, proof-irrelevance.   * A 6-hour intensive course on **constructive mathematics and homotopy type theory** by //Thierry Coquand// (Chalmers University, Gothenburg):​ principles of constructive mathematics,​ Curry-Howard correspondence,​ typed λ-calculi, Martin-Löf type theory, homotopy type theory, univalence axiom, proof-irrelevance.
Line 134: Line 122:
   * Discussion sessions as well as practical sessions on the computer.   * Discussion sessions as well as practical sessions on the computer.
  
-==== Week 2 ====+==== Second week ====
 From 14 to 18 April 2014. From 14 to 18 April 2014.
   * A 6-hour intensive course on the **syntax and semantics of low level languages** by //Amal Ahmed// (Northeastern University):​ principles of von Neuman architecture,​ typed assembly languages, Hoare logic, separation logic, semantic study of the heap, higher order referenes, logical relations, forcing, step-indexing techniques.   * A 6-hour intensive course on the **syntax and semantics of low level languages** by //Amal Ahmed// (Northeastern University):​ principles of von Neuman architecture,​ typed assembly languages, Hoare logic, separation logic, semantic study of the heap, higher order referenes, logical relations, forcing, step-indexing techniques.
cirm.txt · Last modified: 2014/03/31 17:06 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