Calendar

PDF version
« Prev  

Wednesday, September 26 2012

  Next »
Time Items
All day
 
11:00
11:00 - 12:30
Univalent Foundations Seminar: Type Systems
Vladimir Voevodsky
S-101
13:00
13:30 - 15:00
Working Group on Univalent Foundations
Dilworth Room - Rear
Add to calendar