Changes between Version 7 and Version 8 of Past/2011


Ignore:
Timestamp:
Jul 19, 2011, 8:32:07 AM (13 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2011

    v7 v8  
    11= Past Meetings, 2011 =
    22
     3=== 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).
    37
    48=== 34: May 19th ===