Colloquium

2023

Apr 18

Colloquium

Introduction to the Lean Theorem Prover

Speaker(s): Johan M. Commelin (University of Freiburg)

2023

Apr 12

Colloquium

AI for Mathematics之大语言模型在定理证明与数学形式化上的一些实践

Speaker(s): 刘征瀛 (华为诺亚方舟实验室)

2023

Apr 11

Colloquium

Recent Progress in Topology Optimization

Speaker(s): Xiaoping Wang (Hong Kong University of Science and Technology and Chinese University of Hong Kong, Shenzhen)

2023

Apr 04

Colloquium

Approximate Controllability of PDEs: A Review of Recent Developments

Speaker(s): Vahagn Nersesyan (New York University Shanghai)

2023

Mar 22

Colloquium

Math Modeling Assisted by Large Language Models

Speaker(s): Wotao Yin (Alibaba DAMO Academy), Fangquan Lin (Alibaba DAMO Academy)

2023

Mar 07

Colloquium

“数学一小时”系列报告：AI for Mathematics 之数学的形式化

Speaker(s): Bin Dong (BICMR), Ruochuan Liu (BICMR)

2023

Mar 07

Colloquium

Mean Field Limits for Weakly Interacting Diffusions: Phase Transitions, Multiscale Analysis, Metasta...

Speaker(s): Grigorios A. Pavliotis (Imperial College London)

2023

Feb 28

Colloquium

On the Stability of Multi-Dimensional Rarefaction Waves

Speaker(s): Pin Yu (Tsinghua University)