首页 > 学生园地 > 通知通告
学生园地
2017年全国数理逻辑学术研讨会
发布时间: 2017-05-19

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 本地

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

TBD

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 

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

版权所有©哲学学院