Mathematics Calendar 
May 03, 2016
| Tuesday, May 03 |
Noncommutative Geometry
Time: 11:30
Speaker: (Western) Title: "Double matrix integrals" Room: MC 108 Abstract: Homotopy Theory
Time: 13:30
Speaker: Andres Felipe Fontalvo Orozco (Western) Title: "Higher Inductive Types and the Univalence Axiom in Action" Room: MC 107 Abstract: Selected topics in chapter 8 of the HoTT book will be presented to illustrate how homotopy theory can be developed within type theory. |
Department of Mathematics
the University of Western Ontario
Copyright © 2004-2017
For technical inquiries email
