Calendar

PDF version
« Prev  

Wednesday, October 10 2012

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