Others

2024

Apr 01

Others

Model theoretic version of Szemerédi's regularity lemma

主讲人 : Hu Yuqi (Tsinghua University)

2024

Mar 25

Others

Model theory of random variables

主讲人 : Shichang Song (Beijing Jiaotong University)

2024

Mar 18

Others

First-order sentences in random groups

主讲人 : Rizos Sklinos(AMSS, CAS)

2024

Mar 11

Others

Effective Definability of Kolchin Polynomials

主讲人 : Wei Li(AMSS,CAS)

2024

Mar 04

Others

Model Theoretic Events

主讲人 : Kyle Gannon(Peking University)

2024

Jan 09

Others

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

主讲人 : Peng Ding( UC Berkeley)

2023

Dec 05

Others

How to Publish an Academic Book

主讲人 : Daniel Wang (Springer)

2023

Nov 17

Others

非有序性的自动定理证明

主讲人 : 聂子佩（华为）

2023

Nov 17

Others

基于神经符号交互的形式化及定理证明

主讲人 : 张宪 （微软亚洲研究院）

2023

Nov 02

Others

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

主讲人 : Bin Nan(University of California, Irvine)