Calendar

PDF version
« Prev  

Tuesday, October 2 2012

  Next »
Time Items
All day
 
10:00
10:30 - 12:30
CSDM II: Plug your ears! Graph isomorphism, siren...
Alex Russell
S-101
13:00
13:30 - 16:00
Univalent Foundations Tutorial: Homotopy Type Theory
Michael Shulman
S-101
Add to calendar