Seminars: Others
Date
Time
Venue
Time
Venue
Speaker
Affiliation
Title of Talk
Affiliation
Title of Talk
25 Jun 2025
10:00
IMS Executive Seminar Room (S17 Level 3)
10:00
IMS Executive Seminar Room (S17 Level 3)
25 Apr 2025
14:00
S17 #04-04 (SR3)
14:00
S17 #04-04 (SR3)
14 Mar 2025
11:00
S17 #04-04 (SR3)
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (V) — Topics on the Practice of LLM Tools in Lean 4
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (V) — Topics on the Practice of LLM Tools in Lean 4
07 Mar 2025
11:00
S17 #04-04 (SR3)
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (IV) — More on Structures and Typical Proof Logic
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (IV) — More on Structures and Typical Proof Logic
21 Feb 2025
11:00
S17 #04-04 (SR3)
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (III) — Constructing Classes and Structures in Lean
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (III) — Constructing Classes and Structures in Lean
14 Feb 2025
11:00
S17 #04-04 (SR3)
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (II) — Solving Equalities and Inequalities
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (II) — Solving Equalities and Inequalities
07 Feb 2025
11:00
S17 #04-04 (SR3)
11:00
S17 #04-04 (SR3)
Wang Yutong
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (I) — Tools and Suggestions
National University of Singapore
AI4MATH: Minicourses for LEAN 4 (I) — Tools and Suggestions
23 Jan 2025
15:00
S17 #04-06 (SR1)
15:00
S17 #04-06 (SR1)
21 Jan 2025
15:00
S17 #04-06 (SR1)
15:00
S17 #04-06 (SR1)
Yusuf Baris Kartal
University of Edinburgh
Topology of group actions, Morse theory and symplectic invariants
University of Edinburgh
Topology of group actions, Morse theory and symplectic invariants