End-to-End Automated Conjecture Resolution with Formal Verification

Speaker:

Time: Jun 2, 2026, 14:00-15:00

Zoom ID: 970 8926 5381, Password: sustech123

Genera of moduli spaces of quasimaps to quiver varieties

Speaker: Hunter Dinkins（Massachusetts Institute of Technology）

Time: Jun 1, 2026, 08:30-09:30

Zoom ID:365 418 2693，Passcode: 202605

A mathematical theory of computational resolution limit and super-resolution

Speaker: Ping Liu（Zhejiang University）

Time: May 29, 2026, 10:00-11:00

Room M616, College of Science Building

An adaptive DtN-FEM for the thermo/poro-elastic wave scattering problems

Speaker: Yu Wang（University of Electronic Science and Technology of China）

Time: May 29, 2026, 09:00-10:00

Room M616, College of Science Building

【Science Lecture】The Besicovitch compression phenomenon and the Kakeya set conjecture

Speaker: Joshua Zahl（Nankai University）

Time: May 28, 2026, 16:30-17:30

M1001, College of Science Building

A one-line formula of Breuil--Kisin modules and a prismatic Riemann--Hilbert functor

Speaker: Haoyang Guo （University of Minnesota）

Time: May 27, 2026, 16:00-17:00

Zoom ID: 976 9070 2564, Password:sustech123

Liquidation games with constraints

Speaker: Guanxing Fu(The Hong Kong Polytechnic University)

Time: May 27, 2026, 15:00-16:00

Room M4009, College of Science Building

A Multi‑Frequency Adaptive Bayesian Method for Limited‑Aperture Inverse Biharmonic Scattering

Speaker: Shuxin Li（Jilin University）

Time: May 25, 2026, 11:00-12:00

Room M616, College of Science Building

Local Defects in Mirror Symmetry for Parabolic Hitchin Systems

Speaker: Yaoxiong Wen（Zhejiang University）

Time: May 25, 2026, 10:00-11:00

Room M4009, College of Science Building，Zoom ID: 365 418 2693，Passcode: 202605

Acoustic scattering and its inverse: deep learning based methods

Speaker: Junliang Lv（Jilin University）

Time: May 25, 2026, 10:00-11:00

Room M616, College of Science Building