Changes between Version 9 and Version 10 of Past/2011


Ignore:
Timestamp:
Jul 22, 2011, 2:07:35 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2011

    v9 v10  
    22
    33=== 35: 16th June ===
    4  * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
    5  * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]
    6  * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II] (longer talk).
     4 * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers (video)]
     5 * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus (video)]
     6 * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II (video)] (longer talk).
    77
    88=== 34: May 19th ===