Changes between Version 25 and Version 26 of WikiStart


Ignore:
Timestamp:
Apr 27, 2011, 8:29:11 AM (10 years ago)
Author:
Raphael Speyer
Comment:

moved my talk from July to June

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v25 v26  
    2828=== 16th June ===
    2929 * Eric Willigers, Type Systems in Theorem Provers
    30  * Speaker 2, Talk title (if known)
     30 * Raphael Speyer, !JoCaml
    3131 * Eric Torreborre, specs2: go functional! (40 mins)
    3232
    3333=== 21st July ===
    3434 * Shane Stephens
    35  * Raphael Speyer, !JoCaml
     35 * Speaker 2, Talk title (if known)
    3636 * Speaker 3, Talk title (if known)
    3737 * Speaker 4, Talk title (if known)