Seminars and Colloquium

2024

Jan.23

Number Theory

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

Speakers : Ashvni Narayanan(University of Sydney)

2024

Jan.17

Number Theory

Hecke orbits on Shimura varieties of Hodge type

Speakers : Pol van Hoften(VU Amsterdam)

2024

Jan.10

Number Theory

An Introduction to the Theory of Kimberlites

Speakers : Ian Gleason (University of Bonn)

2024

Jan.09

Colloquium

Picard Theorems in Quasiconformal Geometry

Speakers : Pekka Pankka (University of Helsinki)

2024

Jan.09

Number Theory

Local GGP Conjecture for Symplectic Groups

Speakers : Zhe Li(Fudan University)

2024

Jan.09

Others

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

Speakers : Peng Ding( UC Berkeley)

2024

Jan.09

Symplectic Geometry and Mathematical Physics

Gauged Gromov-Witten Invariants

Speakers : Bai-Ling Wang(Australian National University)

2024

Jan.08

Postdoc Seminar

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

Speakers : Wenbin Luo(BICMR)

2024

Jan.05

Operations Research

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

Speakers : Zi'ang Chen(MIT)

2024

Jan.05

Number Theory

Hilbert’s Tenth Problem and its Further Developments

Speakers : Zhiwei Sun(Nanjing University)