Tuesday, March 22 | |
Noncommutative Geometry
Time: 11:30
Speaker: (Western) Title: "Feynman's Theorem II" Room: MC 107 Abstract: This is a quick survey of Feynman's asymptotic formula for m-point functions as a sum over graphs. Homotopy Theory
Time: 13:30
Speaker: Karol Szumilo (Western) Title: "Formalized Homotopy Theory (part 3)" Room: MC 107 Abstract: I will present formal proofs of selected results discussed in preceding seminar talks using the Coq library UniMath. | |
Department of Mathematics
the University of Western Ontario
Copyright © 2004-2017
For technical inquiries email shafikov@uwo.ca