Seminars: Others

Date
Time
Venue
Speaker
Affiliation
Title of Talk
25 Jun 2025
10:00
IMS Executive Seminar Room (S17 Level 3)
François Loeser
Sorbonne University
Lecture Two: Tame Geometry Over Valued Fields
25 Apr 2025
14:00
S17 #04-04 (SR3)
Xu Tianyi
Peking University (BICMR)
(AI4Math) AI for Formalized Math: What, Why, and How
14 Mar 2025
11:00
S17 #04-04 (SR3)
07 Mar 2025
11:00
S17 #04-04 (SR3)
21 Feb 2025
11:00
S17 #04-04 (SR3)
14 Feb 2025
11:00
S17 #04-04 (SR3)
07 Feb 2025
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (I) — Tools and Suggestions
23 Jan 2025
15:00
S17 #04-06 (SR1)
21 Jan 2025
15:00
S17 #04-06 (SR1)
Yusuf Baris Kartal
University of Edinburgh
Topology of group actions, Morse theory and symplectic invariants