Conferences

March 17-21 2025	Motivic Homotopy Theory
Feb 26-Mar 1 2024	Nearby Cycles and Derived Geometry
Sept 18-29 2023	Interactions of Proof Assistants and Mathematics