Home  -> Science -> Seminars
Seminars
2024

Feb 21

Geometric Analysis

Complete Kahler Manifolds with Nonnegative Ricci Curvature

Speaker(s): Gang Liu (East China Normal University)

2024

Feb 21

Dynamical Systems

Towards the Function Theory on Teichmüller Spaces

Speaker(s): Hideki Miyachi (Kanazawa University)

2024

Feb 14

Eastern Hemisphere Colloquium on Geometry and Physics

Geometry from Categorical Enumerative Invariants

Speaker(s): 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

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)

ARCHIVES