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 2024 | Nearby Cycles and Derived Geometry |
Sept 18-29 2023 | Interactions of Proof Assistants and Mathematics |