$\omega$ $\aleph$ $\infty$

2017年全国数理逻辑学术研讨会

May 20 - May 21, 2017
Beijing Normal University

5月19日
京师大厦一层前台
15:30 - 17:30 注册
敬文讲堂
16:00 - 17:00 数学的现实与真理(科普讲座)网站 视频庄志达
5月20日
8:30 - 9:00 开场: 京师大厦第六会议室 丁德成
张树果
Chair: 别荣芳
9:00 - 9:30 茶歇(照相)
Invited talk: 京师大厦第六会议室 Chair: 庄志达
9:30 - 10:20 Irrationality Exponents and Effective Hausdorff Dimension Slides Theodore A. Slaman
10:20-10:40 茶歇
Invited talk: 京师大厦第六会议室 Chair: 冯琦
10:40 - 11:30 Beyond the age of independence by forcing? Slides W. Hugh Woodin
11:30-13:40 午休
Invited talk: 京师大厦第六会议室 Chair: 吴国华
14:00 - 14:50 Formal Design of Embedded Systems Slides 詹乃军
14:50-15:10 茶歇
Parallel sessions: 京师大厦第六会议室
15:10 - 15:40 Relative definability of n-generics Slides 王玮
Chair: 杨跃
15:40 - 16:10 Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas Slides 赵希顺
Chair: 喻良
16:10 - 16:40 A survey on the computable Lipschitz reducibility Slides 范赟
Chair: 赵希顺
16:40-16:50 茶歇
16:50 - 17:20 On decomposing Borel functions Slides 丁龙云
Chair:施翔晖
17:20 - 17:50 An elementary proof of p equal t Slides 何家亮
Chair: 吴刘臻
Parallel sessions: 京师大厦第一会议室
15:10 - 15:40 Logic for Reasoning about Cloud Storage Systems Slides 王捍贫
Chair:张文辉
15:40 - 16:10 Learning Disjunctive Logic Programs from Interpretation Transition Slides 王以松
Chair: 许道云
16:10 - 16:40 信念修正逻辑及应用 Slides 吴茂念
Chair: 刘吉强
16:40-16:50 茶歇
16:50 - 17:20 休谟原则的认识论意义 Slides 许涤非
Chair: 郝兆宽
17:20 - 17:50 A new modal foundation for epistemic logic Slides 王彦晶
Chair: 郭佳宏
5月21日
Invited talk: 京师大厦第六会议室 Chair: René Cori
9:00 - 9:50 Keisler Measures and Combinatorics Slides Anand. Pillay
9:50-10:00 茶歇
10:00 - 10:30 Traced Monoidal Category and Geometry of Interaction Masahiro Hamano
Chair: 姚宁远
10:30 - 11:00 Applications of Homotopy Type Theory to Frege’s puzzle Slides Bruno Bentzen
Chair: 宋诗畅
11:00 - 12:00 中国数理逻辑发展专题研讨

姓名 单位 电子邮件 在会期间

Professor Anand. Pillay(阿兰德·皮莱)
Department of Mathematics
University of Notre Dame
Info Link



Professor Theodore A. Slaman(西奥多·斯莱曼)
Department of Mathematics
UC Berkeley
Info Link



Professor W. Hugh Woodin(W•休•武丁)
Fellow of American Academy of Arts and Sciences
Department of Mathematics and Department of Philosophy
Harvard University
Info Link

Hotel:

Jingshi Hotel
No. 19, XinJieKouWai St., HaiDian District, Beijing
Google Map

宾馆:

京师大厦
北京海淀区新街口外大街19号
百度地图

Meeting place:

Jingshi Hotel meeting room 6
Jingshi International Academy Exchange Center
No. 19, XinJieKouWai St., HaiDian District, Beijing
Google Map
会场:

京师大厦6号会议室
京师大厦
北京海淀区新街口外大街19号
百度地图

Scientific Committee

Chen, Yijia
Ding, Decheng
Ding, Longyun
Feng, Qi
Fu, Yuxi
Hao, Zhaokuan
Lu, Dianchen
Shi, Xianghui
Shen, fuxing
Wang, Yanjing
Wu, Liuzhen
Xu, Daoyun
Yu, Liang
Zhao, Xishun
Zhang, Shuguo

Organizing Committee

Ding, Longyun
Hao, Zhaokuan
Yu, Liang
Zhao, Xishun
Zhang, Shuguo
Bie, Rongfang
Shi, Xianghui
Guo,JiaHong

Jiahong Guo 郭佳宏
jiahong.guo @ bnu.edu.cn

Xianghui Shi 施翔晖
shi.bnu @ gmail.com

Shenling Wang 王慎玲
slwang @ bnu.edu.cn

北京师范大学信息科学与技术学院
北京师范大学电子楼509,100875

中国数学学会数理逻辑专业委员会
北京师范大学 信息科学与技术学院 数学科学学院 哲学学院