杨天秩：Neutral Representations and Fields of Moduli

2026.06.02   09:00-10:00   MCM410

Inbar Klang：Structure on scissors congruence K-theory

2026.06.01  16：30-17：30  ZoomID:681 716 9181 Password: 211748

李谷川：A lower bound of $v_n$-self maps of generalized Moore spectra

2026.06.01  14: 30 -15: 30  南楼N820

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