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 |
Theodore A. Slaman |
| 10:20-10:40 |
茶歇 |
|
| |
Invited talk: 京师大厦第六会议室 |
Chair: 冯琦 |
| 10:40 - 11:30 |
Beyond the age of independence by forcing? |
W. Hugh Woodin |
| 11:30-13:40 |
午休 |
|
| |
Invited talk: 京师大厦第六会议室 |
Chair: 吴国华 |
| 14:00 - 14:50 |
Formal Design of Embedded Systems |
詹乃军 |
| 14:50-15:10 |
茶歇 |
|
| |
Parallel sessions: 京师大厦第六会议室 |
|
| 15:10 - 15:40 |
Relative definability of n-generics |
王玮
Chair: 杨跃 |
| 15:40 - 16:10 |
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas |
赵希顺
Chair: 喻良 |
| 16:10 - 16:40 |
A survey on the computable Lipschitz reducibility |
范赟
Chair: 赵希顺 |
| 16:40-16:50 |
茶歇 |
|
| 16:50 - 17:20 |
On decomposing Borel functions |
丁龙云
Chair:施翔晖 |
| 17:20 - 17:50 |
An elementary proof of p equal t |
何家亮
Chair: 吴刘臻 |
| |
Parallel sessions: 京师大厦第一会议室 |
|
| 15:10 - 15:40 |
Logic for Reasoning about Cloud Storage Systems |
王捍贫
Chair:张文辉 |
| 15:40 - 16:10 |
Learning Disjunctive Logic Programs from Interpretation Transition |
王以松
Chair: 许道云 |
| 16:10 - 16:40 |
信念修正逻辑及应用 |
吴茂念
Chair: 刘吉强 |
| 16:40-16:50 |
茶歇 |
|
| 16:50 - 17:20 |
休谟原则的认识论意义 |
许涤非
Chair: 郝兆宽 |
| 17:20 - 17:50 |
A new modal foundation for epistemic logic |
王彦晶
Chair: 郭佳宏 |
| |
5月21日 |
|
| |
Invited talk: 京师大厦第六会议室 |
Chair: René Cori |
| 9:00 - 9:50 |
Keisler Measures and Combinatorics |
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 |
Bruno Bentzen
Chair: 宋诗畅 |
| 11:00 - 12:00 |
中国数理逻辑发展专题研讨 |
|
| 姓名 |
单位 |
电子邮件 |
在会期间 |
| Anand. Pillay |
Department of Mathematics, University of Notre Dame |
apillay@nd.edu |
19-24 |
| Bruno Bentzen |
中山大学 |
b.bentzen@hotmail.com |
19-21 |
| Chi Tat Chong |
Department of Mathematics, National University of Singapore |
chongct@math.nus.edu.sg |
18-25 |
| Masahiro Hamano |
|
hamano@jaist.ac.jp |
19-22 |
| Theodore A. Slaman |
Department of Mathematics, UC Berkeley |
slaman@math.berkeley.edu |
18-25 |
| W. Hugh Woodin |
Harvard University |
wwoodin@fas.harvard.edu |
19-22 |
| 别荣芳 |
北京师范大学信息科学与技术学院 |
rfbie@bnu.edu.cn |
本地 |
| 曹云剑 |
南京大学 |
cyjnju@163.com |
19-21 |
| 陈磊 |
北京师范大学哲学学院 |
leirchen@163.com |
本地 |
| 丁德成 |
南京大学 |
dcding@nju.edu.cn |
待定 |
| 丁龙云 |
南开大学数学科学学院 |
dingly@nankai.edu.cn |
19-21 |
| 范赟 |
东南大学 |
101010589@seu.edu.cn |
19-21 |
| 方成玲 |
重庆交通大学数学与统计学院 |
chenglingfang@cquc.edu.cn |
19-21 |
| 冯琦 |
中科院数学与系统科学研究院 |
qifeng@math.ac.cn |
本地 |
| 傅莺莺 |
北京工商大学 |
fuyy@th.btbu.edu.cn |
本地 |
| 顾凯 |
南开大学数学科学学院 |
gukai271828@163.com |
19-21 |
| 郭佳宏 |
北京师范大学哲学学院 |
jiahong.guo@bnu.edu.cn |
本地 |
| 郝兆宽 |
复旦大学哲学学院 |
zkhao@fudan.edu.cn |
19-22 |
| 何家亮 |
四川大学 |
hejialiang@scu.edu.cn |
19-21 |
| 黄书棋 |
南开大学数学科学学院 |
13489110185@126.com |
19-21 |
| 季家刚 |
|
|
本地 |
| 康仕慧 |
山西大学 |
kangsh@sxu.edu.cn |
19-21 |
| 李德 |
|
|
本地 |
| 李永强 |
|
|
本地 |
| 廖东升 |
|
|
本地 |
| 刘吉强 |
北京交通大学 |
jqliu@bjtu.edu.cn |
本地 |
| 刘剑 |
内蒙古大学哲学学院 |
jianliuphil@163.com |
19-21 |
| 刘江 |
中国科学院重庆绿色智能技术研究院 |
liujiang@cigit.ac.cn |
19-21 |
| 刘新文 |
中国社会科学院哲学研究所 |
Liuxw-zxs@cass.org.cn |
本地 |
| 罗里波 |
|
|
本地 |
| 莫单玉 |
|
|
本地 |
| 宋诗畅 |
北京交通大学 |
ssong@bjtu.edu.cn |
本地 |
| 沈恩绍 |
上海交通大学 |
|
19-21 |
| 沈培福 |
|
|
本地 |
| 施翔晖 |
北京师范大学数学系 |
shi.bnu@gmail.com |
本地 |
| 田巧丽 |
|
|
本地 |
| 王捍贫 |
北京大学信息科学技术学院 |
whpxhy@pku.edu.cn |
本地 |
| 王驹 |
|
|
本地 |
| 王明生 |
中国科学院信息工程研究所 |
wangmingsheng@iie.ac.cn |
本地 |
| 王慎玲 |
北京师范大学信息科学与技术学院 |
slwang@bnu.edu.cn |
本地 |
| 王玮 |
中山大学哲学系 |
wwang.cn@gmail.com |
19-21 |
| 王晓红 |
北京邮电大学 |
|
本地 |
| 王以松 |
贵州大学计算机科学与信息学院 |
Ys_wang168@sina.com |
19-21 |
| 王彦晶 |
北京大学哲学系 |
y.wang@pku.edu.cn |
本地 |
| 吴国华 |
Nanyang Technological University |
guohua@ntu.edu.sg |
18-23 |
| 吴刘臻 |
中科院数学与系统科学研究院 |
Wuliuzhen@gmail.com |
本地 |
| 吴茂念 |
湖州师范学院信息学院 |
gzu_wu@yahoo.com |
19-21 |
| 吴兴玲 |
贵州民族大学 |
wxl@gzmu.edu.cn |
19-21 |
| 谢若非 |
南京大学 |
rfxie@outlook.com |
19-21 |
| 许道云 |
贵州大学计算机学院 |
dyxu@gzu.edu.cn |
19-21 |
| 薛瑞 |
中科院 |
|
本地 |
| 杨跃 |
Department of Mathematics, National University of Singapore |
matyangy@leonis.nus.edu.sg |
19-21 |
| 姚宁远 |
复旦大学哲学学院 |
yaony@fudan.edu.cn |
19-21 |
| 尹乾 |
北京师范大学信息科学与技术学院 |
|
本地 |
| 尹志 |
安徽工程大学数理学院 |
will.yin@hotmail.com |
19-21 |
| 余平 |
南开大学数学科学学院 |
987027227@qq.com |
19-21 |
| 喻良 |
南京大学数学系 |
yuliang.nju@gmail.com |
18-22 |
| 袁嘉辰 |
中科院数学与系统科学研究院 |
cantor@mail.ustc.edu.cn |
本地 |
| 张树果 |
四川大学数学学院 |
zhangsg@scu.edu.cn |
19-21 |
| 张文辉 |
中国科学院软件研究所 |
zwh@ios.ac.cn |
本地 |
| 赵嘉飞 |
南开大学数学科学学院 |
294465868@qq.com |
19-21 |
| 赵希顺 |
中山大学逻辑与认知研究所 |
hsszxs@mail.sysu.edu.cn |
19-22 |
| 周明宏 |
|
|
本地 |
| 詹乃军 |
中科院软件所 |
znj@ios.ac.cn |
本地 |
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
中国数学学会数理逻辑专业委员会
北京师范大学 信息科学与技术学院 数学科学学院 哲学学院
电话：010-58802001
传真：010-58802001 
E-mail：philoffice@bnu.edu.cn
地址：北京市海淀区新外大街19号北师大前主楼8层
