Dr. Jiedong Jiang: End-to-End Automated Conjecture Resolution with Formal Verification

2026.05.13  10:30-11:30  MCM110

向开南教授：一致无穷d‑Catalan 树在洗牌作用下的不变性

2026.05.13  10:30-11:30  南楼N613

Prof. Erwan Rousseau：Geometry and hyperbolicity of C-pairs

2026.05.13  10:00-11:30   晨兴510

Prof. Rahul Pandharipande：Moduli of K3 surfaces and enumerative geometry

2026.05.12   16:00-17:00   MCM110

邱彦奇研究员：Mandelbrot 随机级联、高斯乘性混沌

2026.05.12  15:00-16:00  南楼N620

Paolo Dolce 博士：Hyperbolic Geometry and Integral Points on Abelian Varieties over Function Fields

2026.05.12  14:30-15:30  思源楼425

Weronika Czerniawska博士：Adelic approach to Grothendieck Riamann-Roch theorem for vector bundles over global fields

2026.05.12  10:30-11:30  思源楼425

黄辉教授：A study of the classical consensus‑based optimization model

2026.05.12  10:30-11:30  南楼N620

程志云教授：On topological (bi)quandle

2026.05.11  14:30-15:30   南楼N820

田静博士：The mutual-visibility problem in graphs

2026.05.08  16:30-17:30  思源楼525