Changes between Version 65 and Version 66 of WikiStart


Ignore:
Timestamp:
Aug 19, 2011, 9:59:20 AM (13 years ago)
Author:
Erik de Castro Lopo
Comment:

Insert Jan 2012

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v65 v66  
    5151 * Speaker 2, Talk title (if known)
    5252 * Richard Garner, Dependent Types (longer talk)
     53
     54=== 16th February ===
     55 * Speaker 1, Talk title (if known)
     56 * Speaker 2, Talk title (if known)
     57 * Speaker 3, Talk title (if known)
     58 * Speaker 4, Talk title (if known)