Conferences

Feb 26 - Mar 1 2024	Nearby Cycles and Derived Geometry
Sept 18-29 2023	Interactions of Proof Assistants and Mathematics