∞
π Σ ∫ ∂ Δ √
Δ
 
 

Activities

Probability and Statistics

Designing Typeclasses in Mathlib: Abstraction, Inference, and Reuse
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Yuyang Zhao (The Chinese University of Hong Kong, Shenzhen)
Type Theory and the Formalization of Mathematics: When Does Equality Compute?
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Anjie Dong (The Chinese University of Hong Kong, Shenzhen)
Introduction to Lean
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Tianyi Xu (Beijing International Center for Mathematical Research)
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)
Graph Learning: Algorithms and Applications
July 19, 2026 Conference Room C610 at Administration Building at Haiyun Campus Chuan Zhou (AMSS, CAS)
Analyze Time-to-event Data Using Survival Mixed Membership Blockmodel
June 11, 2026 Conference Room C503 at Administration Building at Haiyun Campus Fangda Song (CUHK-Shenzhen)
Optimal moral-hazard-free reinsurance under extended distortion premium principles
May 27, 2026 Zuoquan Xu (The Hong Kong Polytechnic University) Zuoquan Xu (The Hong Kong Polytechnic University)
Random distortion risk measures
May 27, 2026 Conference Room S206 at Experiment Building at Haiyun Campus Jingping Yang (Peking University)
Functional Spectral Analysis for Time Series Classification
March 12, 2026 Conference Room C503 at Administration Building at Haiyun Campus Kun Chen (Southwestern University of Finance Economics)
Concentration inequalitie, exponential convergence and tamed Euler-Maruyame scheme for mean-field interacting particle system and McKean-Vlasov equations
January 12, 2026 Conference Room C610 at Administration Building at Haiyun Campus Wei Liu (Wuhan University)
FirstPrevious12NextLast