Changes between Version 18 and Version 19 of WikiStart


Ignore:
Timestamp:
Apr 26, 2011, 11:31:26 PM (14 years ago)
Author:
Eric Torreborre
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v18 v19  
    2828=== 16th June ===
    2929 * Eric Willigers, Type Systems in Theorem Provers
    30  * Speaker 2, Talk title (if known)
     30 * Eric Torreborre, specs2: go functional! (40 mins)
    3131 * Speaker 3, Talk title (if known)
    3232 * Speaker 4, Talk title (if known)