End-to-End Automated Conjecture Resolution with Formal Verification
演讲者:姜杰东(西湖大学)
时间:2026-06-02 14:00-15:00
Zoom ID: 970 8926 5381, Password: sustech123
Genera of moduli spaces of quasimaps to quiver varieties
演讲者:Hunter Dinkins(Massachusetts Institute of Technology)
时间:2026-06-01 08:30-09:30
Zoom ID:365 418 2693,Passcode: 202605
A mathematical theory of computational resolution limit and super-resolution
演讲者:刘平(浙江大学)
时间:2026-05-29 10:00-11:00
理学院大楼M616
An adaptive DtN-FEM for the thermo/poro-elastic wave scattering problems
演讲者:王雨(电子科技大学)
时间:2026-05-29 09:00-10:00
理学院大楼M616
【科学大讲堂】The Besicovitch compression phenomenon and the Kakeya set conjecture
演讲者:Joshua Zahl(南开大学)
时间:2026-05-28 16:30-17:30
理学院大楼M1001
A one-line formula of Breuil--Kisin modules and a prismatic Riemann--Hilbert functor
演讲者:郭浩洋(University of Minnesota)
时间:2026-05-27 16:00-17:00
Zoom ID: 976 9070 2564, Password:sustech123
A Multi‑Frequency Adaptive Bayesian Method for Limited‑Aperture Inverse Biharmonic Scattering
演讲者:李舒欣(吉林大学)
时间:2026-05-25 11:00-12:00
理学院大楼M616
Local Defects in Mirror Symmetry for Parabolic Hitchin Systems
演讲者:温耀雄(浙江大学)
时间:2026-05-25 10:00-11:00
理学院大楼 M4009,Zoom ID:365 418 2693,密码:202605
Acoustic scattering and its inverse: deep learning based methods
演讲者:吕俊良(吉林大学)
时间:2026-05-25 10:00-11:00
理学院大楼M616