Seminars and Talks 14:30 - 15:30, June 30, 2025 (Monday) Room 515, Cosmology Building, NTU Canonical Metric Problem for Singular Vector Bundles on Non-Kähler Spaces 15:40 - 17:00, June 30, 2025 (Monday) Room 515, Cosmology Building, NTU Formalizing Calculus Theorems in Lean: A Gentle Introduction Conferences, Workshops and Special Events June 30 - July 4, 2025 Iwasawa 2025  1321321321321321321