September 16 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Krieger 413
September 16 @ 4:30 pm - 5:30 pm Analysis seminar: Davi Maximo (UPenn) Krieger 306 Title: The geometry and topology of lower bounds on scalar curvatureAbstract: In this talk, I will discuss some recent results about controlling the geometry and topology of manifolds from a […]