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 Speaker: Tobias Ekholm, Uppsala
Member Seminar Speaker: Aaron Landesman Title: Painlevé VI: the search for canonical representations Abstract: In 1902, Painlevé classified second order differential equations whose only movable singularities are poles, thereby obtaining the six Painlevé equations. Algebraic solutions to Painlevé's sixth equation correspond to canonical triples of 2 by 2 complex matrices. One can alternatively view these […]
Colloquium Speaker: Subhabrata Sen (Harvard)
Joint Math/CMSA Geometry and Quantum Theory Seminar
CMSA Q&A Seminar Speaker: Shaoyun Bai, MIT Title: What is a virtual fundamental cycle? (ICM Series: On the work of John Pardon) Abstract: One of Pardon’s important contribution to symplectic topology is a new approach to constructing virtual fundamental cycles/chains for moduli spaces of pseudo-holomorphic maps. As a former PhD student of John, my own […]
New Technologies in Mathematics Seminar Speaker: tba
Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia
Member Seminar Speaker: Lorenzo Riva
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: TBA
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar Speaker: tba