高速：Descriptive Set Theory as a Complexity Theory

2026.06.05  16:00-17:00   南楼N204

曹俊彦教授：复几何中的正性

2026.06.03   15:30-17:00   南楼N204  腾讯会议:338-869-522密码：123456

杨天秩：Neutral Representations and Fields of Moduli

2026.06.02   09:00-10:00   MCM410

Hedenmaln Hakan：Bombieri type inequalities and optimal point configurations

2026.06.01  11:00-12:00   南楼N224

石亚龙教授：On the rigidity of the Green function for Paneitz operator

2026.06.01  10:00-11:00   腾讯会议：574-8078-3311

石亚龙教授：Green function rigidity for conformal Laplacian

2026.06.01  09:00-10:00  腾讯会议：574-8078-3311

Filippo A. E. Nuccio Mortarino Majno di Capriglio：Curry–Howard 对应与证明对象

2026.05.30   11:00-12:00   南楼N204

Filippo A. E. Nuccio Mortarino Majno di Capriglio：命题逻辑与 Lean 中的证明构造

2026.05.30   10:00-11:00   南楼N204

Filippo A. E. Nuccio Mortarino Majno di Capriglio: 证明助手与 Lean 入门

2026.05.30   09:00-10:00   南楼N204

郝子墨：Singular kinetic McKean-Vlasov SDEs: Well-posedness, Quantitative PoC, and Fluctuation- dissipative models

2026.05.29   16:00-17:00   南楼N613