Previous Special Year Seminar
Mar
07
2013
Univalent Foundations Seminar
Setoids, e-Categories, and Exact Completions
Richard Garner
11:00am|S-101
Mar
06
2013
Feb
28
2013
Presentation on the History of the Institute and the School of Mathematics
Christine Di Bella, Erica Mosner
3:00pm|White-Levy Room
Feb
28
2013
Feb
27
2013