Others

2024

Apr 01

Others

Model theoretic version of Szemerédi's regularity lemma

Speaker(s): Hu Yuqi (Tsinghua University)

2024

Mar 25

Others

Model theory of random variables

Speaker(s): Shichang Song (Beijing Jiaotong University)

2024

Mar 18

Others

First-order sentences in random groups

Speaker(s): Rizos Sklinos(AMSS, CAS)

2024

Mar 11

Others

Effective Definability of Kolchin Polynomials

Speaker(s): Wei Li(AMSS,CAS)

2024

Mar 04

Others

Model Theoretic Events

Speaker(s): Kyle Gannon(Peking University)

2024

Jan 09

Others

Causal inference in network experiments: regression-based analysis and design-based properties

Speaker(s): Peng Ding( UC Berkeley)

2023

Dec 05

Others

How to Publish an Academic Book

Speaker(s): Daniel Wang (Springer)

2023

Nov 17

Others

Automated Reasoning for Group non-orderability

Speaker(s): Zipei Nie (Huawei)

2023

Nov 17

Others

Formalization and theorem proving based on neural-symbolic interaction

Speaker(s): Xian Zhang (Microsoft Research Asia)

2023

Nov 02

Others

Kernel Estimation of Bivariate Time-Varying Coefficient Model for Longitudinal Data with Terminal Ev...

Speaker(s): Bin Nan(University of California, Irvine)