Date and time in China
2020年全国数理逻辑年会 CACML 2020
Beijing Time (GMT +8)
14日上午 Nov. 14th Morning
时间Time | |
8:00-8:45 | 报到 Registration |
8:45-9:00 | 开幕式 Opening |
大会报告 Plenary Lecture | |
9:00-9:50 | 喻良 Liang Yu 主持人 Host：冯琦 Qi Feng 题目 Title：Higher randomness theory and its applications |
9:50-10:10 | 茶歇 Coffee Break |
10:10-11:00 | Isaac Goldbring 主持人 Host：宋诗畅 Shichang Song 题目：The Connes Embedding Problem, MIP*=RE, and the Completeness Theorem |
11:00-11:50 | 高速 Su Gao 主持人 Host：丁龙云 Longyun Ding 题目：From Hrushovski’s Property to Vershik’s Conjecture |
14日下午 Nov. 14th Afternoon
时间 Time | ||
分组报告 Section Lecture | ||
A组 Group A 主持人 Host：赵希顺 Xishun Zhao | B组 Group B 主持人 Host：吴刘臻 Liuzhen Wu | |
14:00-14:40 | 陈翌佳 Yijia Chen Understanding Some Graph Parameters by Infinite Model Theory | 刘勇 Yong Liu A priority argument in 0^(4) |
14:40-15:20 | 佘志坤 Zhikun She 基于可达集上下近似的混成系统安全性验证研究 | 申国桢 Guozhen Shen A Choice-Free Cardinal Equality |
15:20-15:40 | 茶歇 Coffee Break | |
A组 Group A 主持人 Host：施翔晖 Xianghui Shi | B组 Group B 主持人 Host：杨睿之 Ruizhi Yang | |
15:40-16:20 | 洪继展 Jizhan Hong Some model-theoretic aspects of certain valued Frobenius fields | 薄谋 Mou Bo Plural Set Theory Based on The Idea of Limitation of Size |
16:20-17:00 | 叶谨赫 Jinhe Ye The étale open topology and the stable fields conjecture | 高坤 Kun Gao 数学直觉——从康德到当代认知科学 |
大会报告 Plenary Lecture | ||
17:00-17:50 | Joel David Hamkins 主持人 Host ：郝兆宽 Zhaokuan Hao 题目：Set-theoretic and arithmetic potentialism: the state of current developments | |
15日上午 Nov. 15th Morning
时间 Time | ||
大会报告 Plenary Lecture | ||
8:30-9:20 | 张德学 Dexue Zhang 主持人 Host：张树果 Shuguo Zhang 题目：Mathematical proof and many-valued logic | |
9:20-10:00 | 数理逻辑发展讨论 Discussion | |
10:00-10:30 | ||
A组 Group A 主持人 Host：王玮 Wei Wang | B组 Group B 主持人 Host：姚宁远 Ningyuan Yao | |
10:30-11:10 | 何家亮 Jialiang He Square of Menger groups | Chieu-Minh Tran Small measure expansion in locally compact groups and the linear-nonlinear dividing line |
11:10-11:50 | 彭伟光 Weiguang Peng On eigen-distributions for multi-branching Boolean trees | |