Operations Research
-
2024
Mar 26
-
Speaker(s): Chao Ding(CAS)
-
2024
Jan 30
-
The Development of Lean and the Type Theoretic Foundation of Theorem Provers
Speaker(s): Minchao Wu (University of Tokyo)
-
2024
Jan 05
-
On The Global Convergence of Randomized Coordinate Gradient Descent for Non-Convex Optimization
Speaker(s): Zi'ang Chen(MIT)
Science
- Conference
- Mini-Course
- Colloquium
- Seminars
- Algebra
- Analysis Research Interaction Team
- Algebraic Geometry
- Applied & Computational Math
- Bio-Math Seminar
- Computational Method
- Dynamical Systems
- Eastern Hemisphere Colloquium on Geometry and Physics
- Geometric Analysis
- Mathematical Imaging Science
- Number Theory
- Operations Research
- PDE/Analysis
- Postdoc Seminar
- Probability and Stochastic Process
- Representation Theory and Quantum Math
- Symplectic Geometry and Mathematical Physics
- Topology
- Others
- Visiting Program
- Special Events