Changes between Version 17 and Version 18 of WikiStart


Ignore:
Timestamp:
Apr 22, 2011, 11:34:05 AM (14 years ago)
Author:
Eric Willigers
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v17 v18  
    2727
    2828=== 16th June ===
    29  * Speaker 1, Talk title (if known)
     29 * Eric Willigers, Type Systems in Theorem Provers
    3030 * Speaker 2, Talk title (if known)
    3131 * Speaker 3, Talk title (if known)