2020Program

发布者：赵晵皓发布时间：2020-11-11动态浏览次数：2396

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	合影+茶歇 Group Photo and Break
	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