2016 Chinese Mathematical Logic Conference
2016年全国数理逻辑学术研讨会
May 21 - May 22, 2016School of Philosophy, Fudan University
Program
| 5月21日 | ||
| 9:00 - 9:30 | 开场 | 袁新 冯琦 郝兆宽 |
| 9:30 - 9:55 | 茶歇（照相） | |
| 9:55 - 10:40 | 基数不变量与Tukey归约 摘要 Slides | 张树果 |
| 10:40 - 11:25 | Unprovability and Beyond. Abstract Slides | 蔡铭中 |
| 11:25-13:30 | 午休 | |
| Contributed Talks: Session 1 | ||
| 13:30 - 14:00 | Random graphs, first-order logic, and $AC^0$ circuits. Abstract Slides | 陈翌佳 |
| 14:00 - 14:30 | Bounded Correctness Checking of Properties of the Computation Tree Logic. Abstract | 张文辉 |
| 14:30 - 15:00 | Uniform Interpolation in Multi-Agent Modal Logics. Abstract Slides | 方良达 |
| 15:00 - 15:15 | 茶歇 | |
| Contributed Talks: Session 2 | ||
| 15:15 - 15:45 | To do something else. Abstract Slides | 琚凤魁 |
| 15:45 - 16:15 | Very Large Cardinals and Combinatorics. Abstract Slides | Vincenzo Dimonte |
| 16:15 - 16:45 | 胡塞尔对弗雷格外延主义数论的批判. 论文 | 李义民 |
| 16:45 - 17:15 | 实质蕴涵辨析. 摘要 | 贾国恒 |
| 5月22日 | ||
| 9:00 - 9:45 | Equivalence Relations and Borel Reduction. Abstract Slides | 丁龙云 |
| 9:45 - 10:30 | On higher Friedman's conjecture and degree determinacy on $\Pi$-definable sets . Abstract Slides | 喻良 |
| 10:30 - 10:45 | 茶歇 | |
| 10:45 - 11:45 | 数理逻辑专业委员会扩大会议 | |
| 11:45-14:00 | 午休 | |
| 14:00 - 16:00 | 中国数理逻辑发展专题讨论 |
Visitors
| 姓名 | 单位 | 电子邮件 | 在会期间 |
|---|---|---|---|
| 别荣芳 | 北京师范大学信息科学与技术学院 | rfbie@bnu.edu.cn | 5.20 - 5.22 |
| 蔡铭中 | mingzhongcai@gmail.com | 5.20 - 5.22 | |
| 陈翌佳 | 复旦大学计算机学院 | yijiachen@fudan.edu.cn | 本地 |
| 丁龙云 | 南开大学数学科学学院 | dingly@nankai.edu.cn | 5.20 - 5.22 |
| 范赟 | 东南大学 | 101010589@seu.edu.cn | 5.20 - 5.22 |
| 方良达 | 暨南大学 | fangld@jnu.edu.cn | 5.20 - 5.22 |
| 冯琦 | 中科院数学与系统科学研究院 | qifeng@math.ac.cn | 5.20 - 5.22 |
| 葛存菁 | 中国科学院软件研究所 | gecj@ios.ac.cn | 5.20 - 5.22 | 顾凯 | 南开大学数学科学学院 | gukai271828@163.com | 5.20 - 5.22 |
| 郝兆宽 | 复旦大学哲学学院 | zkhao@fudan.edu.cn | 本地 |
| 琚凤魁 | 北京师范大学哲学与社会学学院 | fengkui.ju@gmail.com | 5.20 - 5.22 |
| 李义民 | 九江学院马克思主义学院 | li_yimin@sina.cn | 5.20 - 5.22 |
| 刘新文 | 中国社会科学院哲学研究所 | Liuxw-zxs@cass.org.cn | 5.20 - 5.22 |
| 马菲菲 | 中国科学院软件研究所 | maff@ios.ac.cn | 5.20 - 5.22 |
| 沈榆平 | 中山大学逻辑与认知研究所 | yuping.shen.ilc@gmail.com | 5.20 - 5.21 |
| 施翔晖 | 北京师范大学数学系 | shi.bnu@gmail.com | 5.21 - 5.22 |
| 王慎玲 | 北京师范大学信息科学与技术学院 | slwang@bnu.edu.cn | 5.20 - 5.22 |
| 吴刘臻 | 中科院数学与系统科学研究院 | Wuliuzhen@gmail.com | 5.21 - 5.22 |
| 吴茂念 | 湖州师范学院信息学院 | gzu_wu@yahoo.com | 5.20 - 5.22 |
| 许道云 | 贵州大学计算机学院 | dyxu@gzu.edu.cn | 5.20 - 5.22 |
| 杨睿之 | 复旦大学哲学学院 | yangruizhi@fudan.edu.cn | 本地 |
| 姚宁远 | 复旦大学哲学学院 | yaony@fudan.edu.cn | 本地 |
| 尹志 | 安徽工程大学数理学院 | will.yin@hotmail.com | 5.20 - 5.22 |
| 余平 | 南开大学数学科学学院 | 987027227@qq.com | 5.20 - 5.22 |
| 俞珺华 | 清华大学哲学系 | DF7G5036@hotmail.com | 5.20 - 5.22 |
| 喻良 | 南京大学数学系 | yuliang.nju@gmail.com | 5.20 - 5.22 |
| 单芃舒 | 复旦大学哲学学院 | 14210160029@fudan.edu.cn | 本地 |
| 袁嘉辰 | 中科院数学与系统科学研究院 | cantor@mail.ustc.edu.cn | 5.20 - 5.23 |
| 张明生 | 贵州民族大学信息工程学院 | gyzhangms@126.com | 5.20 - 5.22 |
| 张树果 | 四川大学数学学院 | zhangsg@scu.edu.cn | 5.20 - 5.22 |
| 张文辉 | 中国科学院软件研究所 | zwh@ios.ac.cn | 5.20 - 5.22 |
| 张元睿 | 华东师范大学软件学院 | zhangyrmath@126.com | 5.20 - 5.22 |
| 赵嘉飞 | 南开大学数学科学学院 | 294465868@qq.com | 5.20 - 5.22 |
| 赵希顺 | 中山大学逻辑与认知研究所 | hsszxs@mail.sysu.edu.cn | 5.20 - 5.22 |
| 周缅来 | 宁波诺丁汉大学计算机系 | mianlai.research@gmail.com | 本地 |
| 朱洪 | 复旦大学计算机学院 | hzhu@fudan.edu.cn | 本地 |
| 贾国恒 | 华东师范大学哲学系 | ghjia@philo.ecnu.edu.cn | 本地 |
| 张明义 | 贵州科学院 | 5.20 - 5.22 | |
| Vincenzo Dimonte | Gödel Research Center, Vienna, Austria | 5.20 - 5.22 |
Howtocome
|
Hotel: Fudan Yanyuan Hotel 270 Zhengtong Road, Shanghai Google Map Fuxuan Hotel 400 Guoding Road, Shanghai Google Map Qingyun Hotel 220 Handan Road, Shanghai In the south-east corner of the campus |
宾馆: 复旦大学燕园宾馆 上海市杨浦区政通路270号（近国定路） 百度地图 复宣酒店 上海市杨浦区国定路400号 百度地图 复旦卿云宾馆 上海市杨浦区邯郸路220号(复旦校内东南角) 百度地图 |
|
Meeting place: Room 2401, West Guanghua Tower Fudan University 220 Handan Road, Shanghai Google Map |
会场: 光华楼西主楼2401室 复旦大学（邯郸路校区） 上海市杨浦区邯郸路220号 百度地图 |
Committee
Scientific Committee
Bie, Rongfang
Feng, Qi
Fu, Yuxi
Hao, Zhaokuan
Su, Kaile
Xu, Daoyun
Zhao, Xishun
Organizing Committee
Feng, Qi
Hao, Zhaokuan
Yang, Ruizhi
Yao, Ningyuan
Contacts
Ningyuan Yao 姚宁远
yaony @ fudan.edu.cn
Ruizhi Yanng 杨睿之
yangruizhi @ fudan.edu.cn
复旦大学哲学学院
上海市杨浦区邯郸路220号，200433
中国数学学会数理逻辑专业委员会
复旦大学哲学学院