Seminars and Colloquium

2024

Feb.21

Geometric Analysis

Complete Kahler Manifolds with Nonnegative Ricci Curvature

Speakers : Gang Liu (East China Normal University)

2024

Feb.21

Dynamical Systems

Towards the Function Theory on Teichmüller Spaces

Speakers : Hideki Miyachi (Kanazawa University)

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)