Seminars

2024

Jan 31

Eastern Hemisphere Colloquium on Geometry and Physics

Mapping the Phase Space of Supersymmetric Gauge Theories using Explainable Machine Learning

Speaker(s): Rak-Kyeong Seong (UNIST)

2024

Jan 30

Operations Research

The Development of Lean and the Type Theoretic Foundation of Theorem Provers

Speaker(s): Minchao Wu (University of Tokyo)

2024

Jan 30

Analysis Research Interaction Team

On the Incompressible Navier-Stokes Equations and the Malliavin Calculus on $G={\rm SDiff}(M)$

Speaker(s): Xiang-Dong Li(AMSS-CAS)

2024

Jan 24

Dynamical Systems

Dynamics of Covering Correspondences

Speaker(s): Vanessa Matus de la Parra (University of Rochester)

2024

Jan 24

Dynamical Systems

A Family of Meromorphic Functions: Ergodic or Non-ergodic

Speaker(s): Tao Chen(City University of New York)

2024

Jan 23

Analysis Research Interaction Team

Quantitative Relative Entropy Estimates on the Whole Space for Convolution Interaction Forces

Speaker(s): Paul Nikolaev (University of Mannheim)

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)