Conferences

October 6-10 2025 Conference Higher Invariants: interactions between arithmetic geometry and global analysis
March 17-21 2025 Motivic Homotopy Theory
Feb 26-Mar 1 2024Nearby Cycles and Derived Geometry
Sept 18-29 2023Interactions of Proof Assistants and Mathematics