∞
π Σ ∫ ∂ Δ √
Δ
Introduction to Lean
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Tianyi Xu (Beijing International Center for Mathematical Research)
Restriction Estimates and Applications to Number Theory
September 1, 2026 Conference Room S106 at Experiment Building at Haiyun Campus Yuchen Sun (University of Bristol)
Using AI for Research: From Prompts to Research Infrastructure
August 25, 2026 Conference Room C610 at Administration Building at Haiyun Campus Shizhe Chen (University of California, Davis)
Multiscale model reduction based on locally optimal spectral approximations for heterogeneous wave equations
August 21, 2026 Conference Room C503 at Administration Building at Haiyun Campus Chupeng Ma (Great Bay University)
Partial-duals for plane hypermaps
August 21, 2026 Conference Room C610 at Administration Building at Haiyun Campus Qi Yan (Lanzhou University)
A cubic refinement of Jackson's Chvátal--Erdős condition for Hamilton cycles in digraphs
August 21, 2026 Conference Room C610 at Administration Building at Haiyun CampusConference Room C610 at Administration Building at Haiyun Campus Jiangdong Ai (Nankai University)
Stability of viscous shock waves for Burgers equation with double singularities in viscosity and flux
August 7, 2026 Conference Room C610 at Administration Building at Haiyun Campus Ming Mei (Jiangxi Normal University)
Stabilization Mechanisms in Magnetohydrodynamics with Partial Dissipation
August 6, 2026 Conference Room C610 at Administration Building at Haiyun Campu Jiahong Wu (University of Notre Dame)
On the Interactions of Flocking Particles with the Navier-Stokes Flow in an Infinite Channel
July 24, 2026 Conference Room C610 at Administration Building at Haiyun Campus Tao Zhou (University of Macau)
From Ringel--Hall algebras to quantum cluster algebras
July 22, 2026 Conference Room S105 at Experiment Building at Haiyun Campus Changjian Fu (Sichuan University)