Changes between Version 280 and Version 281 of WikiStart


Ignore:
Timestamp:
Mar 11, 2018, 8:24:47 AM (7 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v280 v281  
    2929This is a DRAFT schedule. The people assigned to months are free to swap around with others. We can also schedule short talks (15-20 mins) on the fly if you have something interesting to talk about. Email benl at ouroborus.net or erikd at mega-nerd dot com and we'll slot you in.
    3030
    31 === 100: 22nd November ===
    3231
    33 * Ben Lippmeier: Cubical Type Theory
    34 
    35