Mon, 02/06/2017 - 02:00 PM Type Theoretical Mathematics Colloquia Abstract Speaker Sanchayan Sen Location WXLR A206