homeHome ViewLayout PrintPrinter Friendly   searchSearch LoginAdd Event
Mathematics Calendar

March 22, 2016
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.