• Lagrangian Floer Theory and Applications Program

    CMSA 20 Garden Street Cambridge, Massachusetts 02138 United States

    Lagrangian Floer theory and Applications Program Dates: September 15–November 21, 2026 Location: CMSA G10, 20 Garden St., Cambridge MA 02138 This thematic program will focus on recent developments in Lagrangian Floer theory and applications.  These include the development of family Floer theory, degeneration techniques, Floer homotopy theory in the Lagrangian case, Floer theory in prime […]

  • 4-manifold topology and collision rank of groups

    Virtual

    Freedman Seminar Speaker: Slava Krushkal (University of Virginia) Title: 4-manifold topology and collision rank of groups Abstract: I will introduce collision rank and show that groups of finite collision rank are good in the sense of topological 4-manifold theory. Finitely generated groups of collision rank two are shown to exist outside the class of subexponentially […]

  • Member Seminar

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Member Seminar Speaker: Lorenzo Riva, CMSA Title: Un-extending extended TQFTs Abstract: An ordinary topological quantum field theory (TQFT) assigns invariants to manifolds of dimensions n in a way that is compatible with cutting-and-gluing along submanifolds of dimension n-1. An extended TQFT assigns invariants that are also compatible with cutting along submanifolds of all codimensions. One way to […]

  • Life on a Noisy Seascape: Extinction, Growth, and Diversity

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Colloquium Speaker: Mehran Kardar, MIT Title: Life on a Noisy Seascape: Extinction, Growth, and Diversity Abstract: Populations and communities rarely evolve in static environments; their fitness landscapes fluctuate across space and time, forming what may be called a noisy seascape. This talk examines how such variability modifies classical models of population dynamics and community stability. Beginning from the […]

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Harold Williams, USC Title: An Informal Introduction to Formal Proofs Abstract: In this talk we will give an introduction to Lean, a programming language adapted to expressing and verifying proofs. Lean and its flagship library, mathlib, have been the focus of a dedicated user community for about a decade, […]

  • Geometry and Mathematical Physics Seminar

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Geometry and Mathematical Physics Seminar Speaker: Tobias Ekholm, Uppsala  

  • Member Seminar

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Member Seminar Speaker: Aaron Landesman

  • Colloquium

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Colloquium Speaker: Subhabrata Sen (Harvard)