Changes between Version 276 and Version 277 of WikiStart


Ignore:
Timestamp:
Oct 5, 2017, 3:10:18 AM (7 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v276 v277  
    3737=== 100: 22nd November ===
    3838
    39 * Speaker to be decided.
     39* Ben Lippmeier: Cubical Type Theory
    4040* Speaker to be decided.
    4141