更多 +
学术报告
-
21 Oct
Applied Mathematics Seminar——Beyond Prover Acceptance: Benchmarking and Improving Proof Repair in Isabelle/HOL
时间:2026-10-21 10:00-12:00
报告人: 栾晓坤(新加坡国立大学)
-
21 Oct
Geometric Analysis Seminar —— Geometric Microlocal Analysis of Gravitational Instantons
时间:2026-10-21 09:00-10:00
报告人: 朱煦雯(东北大学)
-
21 Oct
Geometry and Topology Seminar —— Background on the Chromatic Splitting Conjecture
时间:2026-10-21 15:10-17:00
报告人: 李谷川(北京大学)
-
22 Oct
MASI: MECHANISM-AWARE INTERVAL INFERENCE WITHLLMSEMANTICCOVARIATES
时间:2026-10-22 14:00-15:00
报告人: 张新雨(中国科学院数学与系统科学研究院)
-
22 Oct
Phase transition of Schott's statistic for high-dimensional heavy-tailed data
时间:2026-10-22 15:00-16:00
报告人: 王成 (上海交通⼤学)
更多 +
学术会议
- 232026.10 One day workshop on PDE, Control and Applications
- 302026.10 第九届北京大学计算与应用数学拔尖博士生研讨会暨第十二届北京计算数学研究生论坛
- 212026.11 “决策与推理”前沿研讨会
- 302026.09 【报名通知】代数几何中的群作用研讨会(Workshop on Group Actions in Algebraic Geometry)
- 302026.09 【报名通知】2026年度量几何讲习班(School on Metric Geometry and Gromov–Hausdorff Distance)
- 262026.09 One Day Workshop on Stochastic Analysis






