Changes between Version 33 and Version 34 of WikiStart


Ignore:
Timestamp:
May 22, 2011, 2:57:48 AM (9 years ago)
Author:
Raphael Speyer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v33 v34  
    2828=== 16th June ===
    2929 * Eric Willigers, Type Systems in Theorem Provers
    30  * Raphael Speyer, !JoCaml 
     30 * Raphael Speyer, !JoCaml: Concurrent Programming with the Join Calculus
    3131 * Dominic Verity, Category Theory part II (longer talk).
    3232