2017全国数理逻辑会议
来源：2017全国数理逻辑会议2017-05-18
2017 Chinese Mathematical Logic Conference
May 20 - May 21, 2017
北京师范大学
会议日程（视频）
| |
5月19日
|
|
| |
京师大厦一层前台
|
|
|
15:30 - 17:30
|
注册
|
|
| |
敬文讲堂
|
|
|
16:00 - 17:00
|
数学的现实与真理（京师数学大讲坛）
|
庄志达
(国立新加坡大学)
|
| |
5月20日
|
|
|
8:30 - 9:00
|
开场: 京师大厦第六会议室
|
丁德成、张树果
|
|
9:00 - 9:30
|
茶歇（照相）
|
|
| |
Invited talk: 京师大厦第六会议室
|
|
|
9:30 - 10:20
|
Irrationality Exponents and Effective Hausdorff Dimension
|
Theodore A. Slaman
(UC Berkeley)
|
|
10:20-10:40
|
茶歇
|
|
| |
Invited talk: 京师大厦第六会议室
|
|
|
10:40 - 11:30
|
Beyond the age of independence by forcing?
|
W. Hugh Woodin
(Harvard University)
|
|
11:30-13:40
|
午休
|
|
| |
Invited talk: 京师大厦第六会议室
|
|
|
14:00 - 14:50
|
Formal Design of Embedded Systems
|
詹乃军
(中国科学院大学）
|
|
14:50-15:10
|
茶歇
|
|
| |
Parallel sessions: 京师大厦第六会议室
|
|
|
15:10 - 15:40
|
Relative definability of n-generics
|
王玮
(中山大学)
|
|
15:40 - 16:10
|
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
|
赵希顺
(中山大学)
|
|
16:10 - 16:40
|
A survey on the computable Lipschitz reducibility
|
范赟
|
|
16:40-16:50
|
茶歇
|
|
|
16:50 - 17:20
|
On decomposing Borel functions
|
丁龙云
(南开大学)
|
|
17:20 - 17:50
|
An elementary proof of p equal t
|
何家亮
(四川大学)
|
| |
Parallel sessions: 京师大厦第一会议室
|
|
|
15:10 - 15:40
|
Logic for Reasoning about Cloud Storage Systems
|
王捍贫
(北京大学)
|
|
15:40 - 16:10
|
Learning Disjunctive Logic Programs from Interpretation Transition
|
王以松
|
|
16:10 - 16:40
|
信念修正逻辑及应用
|
吴茂念
|
|
16:40-16:50
|
茶歇
|
|
|
16:50 - 17:20
|
休谟原则的认识论意义
|
许涤非
(人民大学)
|
|
17:20 - 17:50
|
A new modal foundation for epistemic logic
|
王彦晶
(北京大学)
|
| |
5月21日
|
|
| |
Invited talk: 京师大厦第六会议室
|
|
|
9:00 - 9:50
|
Keisler Measures and Combinatorics
|
Anand Pillay
(Univ. of Notre Dame)
|
|
9:50-10:00
|
茶歇
|
|
|
10:00 - 10:30
|
Traced Monoidal Category and Geometry of Interaction
|
Masahiro Hamano
|
|
10:30 - 11:00
|
Applications of Homotopy Type Theory to Frege’s puzzle
|
Bruno Bentzen
(中山大学)
|
|
11:00 - 12:00
|
中国数理逻辑发展专题研讨
|
|
联系人
王慎玲 slwang @ bnu.edu.cn
施翔晖 shi.bnu @ gmail.com
郭佳宏 jiahong.guo @ bnu.edu.cn
中国数学学会数理逻辑专业委员会
北京师范大学 信息科学与技术学院 数学科学学院 哲学学院
