Changes between Version 38 and Version 39 of WikiStart


Ignore:
Timestamp:
Jun 17, 2011, 2:37:35 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v38 v39  
    2323
    2424=== 16th June ===
    25  * Eric Willigers, Type Systems in Theorem Provers
    26  * Raphael Speyer, !JoCaml: Concurrent Programming with the Join Calculus
    27  * Dominic Verity, Category Theory part II (longer talk).
     25 * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
     26 * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]
     27 * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II] (longer talk).
    2828
    2929=== 21st July ===