石亚龙教授：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

Professor Sylvia Serfaty：Statistical mechanics of Coulomb and Riesz gases: II

2026.05.29  15:00-16:00   Zoom ID: 373 227 3489 Passcode: AMSS2026

洪伟：Recent progress on mean-field stochastic PDEs

2026.05.29   15:00-16:00   南楼N613

Prof. Denisova Irina Vlad：On the stability of rotation of a two-phase fluid with a free boundary

2026.05.29  14:00-16:00  南楼N913

董彬教授：AI for Mathematics：从数学数字化到自动推理

2026.05.29   10:40-11:50   南楼N204（数学院交流报告会）