Working Group on Univalent Foundations

Submitted by admin on Wed, 04/10/2013 - 14:01
Date & Time: 
Fri, 04/12/2013 - 16:00 - 17:30
Location: 
S-101
terms: