Program

发布者:郑阳发布时间:2020-11-11动态浏览次数:1150




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

题目 TitleHigher 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