News
Events
Directors
International Advisory Committee
Executive Committee
Academic Committee & Related
Center Scientists
NCTS Scholars
Visitors
Postdoc Fellows
Research Assistants
Staff
USRP
URP & RA
Overseas Opportunities
Taiwan Math. School
Sponsored by
Events
News
[ Events ]
Seminars and Talks
Conferences, Workshops and Special Events
Courses and Lecture Series
Taiwan Math. School
Activity Search
Sort out
select all
Seminars and Talks
Conferences, Workshops and Special Events
Courses and Lecture Series
Else
Field
select all
Number Theory and Representation Theory
Algebraic Geometry
Differential Geometry and Geometric Analysis
Differential Equations and Stochastic Analysis
Scientific Computing
Interdisciplinary Studies
Laboratory of Data Science
Harmonic Analysis
Others
Year
select
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
．
Seminars
NCTS Learning Seminar on Lean
Time
: June 19 - December 31, 2025
Room
: R440, Astronomy-Mathematics Building, NTU
Organizers
:
Talk List
Search
Year
select
2025
15:40-17:00, June 30, 2025
(Monday)
Formalizing Calculus Theorems in Lean: A Gentle Introduction
Hsin-Po Wang (National Taiwan University)
15:00-16:00, June 23, 2025
(Monday)
Learning Seminar on Lean
Hsin-Po Wang (National Taiwan University)
(C) 2021 National Center for Theoretical Sciences
