Seminars and Colloquium

2023

Apr.18

Colloquium

Introduction to the Lean Theorem Prover

Speakers : Johan M. Commelin (University of Freiburg)

2023

Apr.17

PDE/Analysis

Regularity Estimates for the Non-cutoff Soft Potential Boltzmann Equation with Typical Rough and Slowly Decay...

Speakers : Lingbing He (Tsinghua University)

2023

Apr.17

Postdoc Seminar

Local and Global Properties of p-Laplace Henon Equation

Speakers : Geyang Du(BICMR)

2023

Apr.14

Postdoc Seminar

A closed string analog of higher-dimensional Heegaard Floer homology

Speakers : Tianyu Yuan(BICMR)

2023

Apr.14

Dynamical Systems

Julia Sets Having Ahlfors-regular Conformal Dimension One

Speakers : Insung Park (Brown University)

2023

Apr.12

Number Theory

Some Satisfactory and Unsatisfactory Aspects of the Dual Groups for Central Cover

Speakers : Fan Gao (Zhejiang University)

2023

Apr.12

Colloquium

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

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

2023

Apr.12

Geometric Analysis

Classification of Some Ancient Solutions of Mean Curvature Flow

Speakers : Wenkui Du (University of Toronto)

2023

Apr.11

Colloquium

Recent Progress in Topology Optimization

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

2023

Apr.10

Mathematical Imaging Science

Policy Learning in Adaptive Experiments

Speakers : Ruohan Zhan (The Hong Kong University of Science and Technology)