Colloquium

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)

2022

Dec 26

Colloquium

Collision in Dissipative Systems - A Role of Hidden Instabilities -

Speaker(s): Yasumasa Nishiura (Hokkaido University)

2022

Dec 13

Colloquium

How to See the Tracy-Widom Distribution in the 3D Ising Model

Speaker(s): Senya Shlosman (Skoltech, Russia & Center de Physique Theorique in Marseille, France)

2022

Dec 05

Colloquium

[Distinguished Lecture] New Uses of Computers in Mathematics

Speaker(s): Professor Kevin Buzzard (Imperial College London)