Others

2024
Apr 08

A theory which *really* doesn't have a computable model
Speaker(s): Patrick Lutz (UC Berkeley)

2024
Apr 01

Model theoretic version of Szemerédi's regularity lemma
Speaker(s): Hu Yuqi (Tsinghua University)

2024
Mar 25

Model theory of random variables
Speaker(s): Shichang Song (Beijing Jiaotong University)

2024
Mar 18

Firstorder sentences in random groups
Speaker(s): Rizos Sklinos(AMSS, CAS)

2024
Mar 11

Effective Definability of Kolchin Polynomials
Speaker(s): Wei Li(AMSS,CAS)

2024
Mar 04

Speaker(s): Kyle Gannon(Peking University)

2024
Jan 09

Causal inference in network experiments: regressionbased analysis and designbased properties
Speaker(s): Peng Ding( UC Berkeley)

2023
Dec 05

How to Publish an Academic Book
Speaker(s): Daniel Wang (Springer)

2023
Nov 17

Automated Reasoning for Group nonorderability
Speaker(s): Zipei Nie (Huawei)

2023
Nov 17

Formalization and theorem proving based on neuralsymbolic interaction
Speaker(s): Xian Zhang (Microsoft Research Asia)
Science
 Conference
 MiniCourse
 Colloquium
 Seminars
 Algebra
 Analysis Research Interaction Team
 Algebraic Geometry
 Applied & Computational Math
 BioMath Seminar
 Computational Method
 Dynamical Systems
 Eastern Hemisphere Colloquium on Geometry and Physics
 Geometric Analysis
 Mathematical Imaging Science
 Number Theory
 Operations Research
 PDE/Analysis
 Postdoc Seminar
 Probability and Stochastic Process
 Representation Theory and Quantum Math
 Symplectic Geometry and Mathematical Physics
 Topology
 Others
 Visiting Program
 Special Events