Seminars and Colloquium

2024

Feb.14

Eastern Hemisphere Colloquium on Geometry and Physics

Geometry from Categorical Enumerative Invariants

Speakers : Junwu Tu (ShanghaiTech University)

2024

Jan.31

Eastern Hemisphere Colloquium on Geometry and Physics

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

Speakers : Rak-Kyeong Seong (UNIST)

2024

Jan.30

Operations Research

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

Speakers : 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)$

Speakers : Xiang-Dong Li(AMSS-CAS)

2024

Jan.24

Dynamical Systems

Dynamics of Covering Correspondences

Speakers : Vanessa Matus de la Parra (University of Rochester)

2024

Jan.24

Dynamical Systems

A Family of Meromorphic Functions: Ergodic or Non-ergodic

Speakers : 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

Speakers : 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

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)