Seminars

2024

Jan 23

Number Theory

Formalization of p-adic L- functions in Lean, and auto formalization as a mathematical tool

Speaker(s): Ashvni Narayanan(University of Sydney)

2024

Jan 17

Number Theory

Hecke orbits on Shimura varieties of Hodge type

Speaker(s): Pol van Hoften(VU Amsterdam)

2024

Jan 10

Number Theory

An Introduction to the Theory of Kimberlites

Speaker(s): Ian Gleason (University of Bonn)

2024

Jan 09

Number Theory

Local GGP Conjecture for Symplectic Groups

Speaker(s): Zhe Li(Fudan University)

2024

Jan 09

Others

Causal inference in network experiments: regression-based analysis and design-based properties

Speaker(s): Peng Ding( UC Berkeley)

2024

Jan 09

Symplectic Geometry and Mathematical Physics

Gauged Gromov-Witten Invariants

Speaker(s): Bai-Ling Wang(Australian National University)

2024

Jan 08

Postdoc Seminar

Height filtrations, arithmetic augmented base loci and flag varieties over function fields

Speaker(s): Wenbin Luo(BICMR)

2024

Jan 05

Operations Research

On The Global Convergence of Randomized Coordinate Gradient Descent for Non-Convex Optimization

Speaker(s): Zi'ang Chen(MIT)

2024

Jan 05

Number Theory

Hilbert’s Tenth Problem and its Further Developments

Speaker(s): Zhiwei Sun(Nanjing University)

2024

Jan 04

Number Theory

Fourier-Jacobi Period on Unitary Group

Speaker(s): Weixiao Lu (MIT)