2018年中国数理逻辑年会

2018 Chinese Mathematical Logic Conference


May 11 - May 13, 2018
Qiannan Normal University for Nationalities

会议日程

2018年05月11日

 

 

 

09:00 - 21:00

参会代表报到、注册

数统学院会议室(3教1楼)

18:00 – 19:00

自助晚餐

黔南师院教工餐厅

20:00 – 21:00

公共报告:Chi Tat Chong
(National University of Singapore)
主持人:冯琦(中国科学院数学与系统科学研究院)

7101报告厅

21:00 – 22:00

中国数学会 数理逻辑专业委员会工作会议

数统学院会议室

2018年05月12日

 

 

主持人

 

08:00 - 18:00

参会代表报到、注册

数统学院会议室(3教1楼)

08:30 – 09:00

Logic2018开幕式

张树果
四川大学

7101报告厅

09:00 – 09:20

参会代表合影留念

黔南师院民族广场

09:20 – 10:10

特邀报告1:Ralf Schindler
(University of Münster)

施翔晖
北京师范大学

7101报告厅

10:10 – 10:30

茶  歇

10:30 – 11:20

特邀报告2:Joseph S. Miller
(University of Wisconsin–Madison)

喻  良
南京大学

7101报告厅

11:20 – 11:50

大会报告1:杨睿之
(复旦大学)

郝兆宽
复旦大学

7101报告厅

11:50 – 12:20

大会报告2:董惠敏
(浙江大学)

12:20 – 14:00

自助午餐、休息

黔南师院教工餐厅

14:00 – 14:30

大会报告3:佘志坤
(北京航空航天大学)

许道云
贵州大学

7101报告厅

14:30 – 15:00

大会报告4:王以松
(贵州大学)

15:00 – 15:30

大会报告5:章  衡
(天津大学)

15:30 – 15:50

茶  歇

15:50 – 16:20

大会报告6:George Barmpalias
(中国科学院软件所)

喻  良
南京大学

7101报告厅

16:20 – 16:50

大会报告7:彭  程
(National University of Singapore)

16:50 – 17:20

大会报告8:刘  勇
(National University of Singapore)

18:00 – 20:00

晚  宴

广州湾美食
(官邸国际酒店旁)

2018年05月13日

 

 

主持人

 

08:00 - 18:00

参会代表报到、注册

数统学院会议室(3教1楼)

08:30 – 09:20

特邀报告3:丁龙云
(南开大学)

张树果
四川大学

7101报告厅

09:20 – 10:10

特邀报告4:Byunghan Kim
(Yonsei University)

宋诗畅
北京交通大学

7101报告厅

10:10 – 10:30

茶  歇

10:30 – 11:00

大会报告9:Thomas Studer
(University of Bern)

俞珺华
清华大学

7101报告厅

11:00 – 11:30

大会报告10:Makoto Fujiwara
(Waseda Institute for Advanced Study)

11:30 – 12:00

大会报告11:Takako Nemoto
(Japan Advanced Institute of Science and Technology)

12:00 – 14:00

自助午餐、休息

黔南师院教工餐厅

14:00 – 14:30

大会报告12:金人麟
(College of Charleston Charleston)

施翔晖
北京师范大学

7101报告厅

14:30 – 15:00

大会报告13:吴刘臻
(中国科学院数学与系统科学研究院)

15:00 – 15:30

大会报告14:朱慧灵
(中山大学)

15:30 – 15:50

茶  歇

15:50 – 16:20

大会报告15:Alireza Mofidi
(The Institute for Research in Fundamental Sciences)

宋诗畅
北京交通大学

7101报告厅

16:20 – 16:50

大会报告16:Wong Tin Lok
(National University of Singapore)

15:50 – 16:20

小组报告1: 吴慧珊
北京语言大学

刘  勇
国立新加坡大学

图书馆3楼报告厅

16:20 – 16:50

小组报告2: 孙振宇
(中国人民大学)

16:50 – 17:20

小组报告3: 叶谨赫
(University of Notre Dame)

17:20 – 17:50

小组报告4: 冯仁艳
贵州大学

18:00 – 20:00

晚  餐

黔南师院教工餐厅

备注:1)会议期间(05月12日-05月13日)报到地点根据会场地点而定。

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

Professor Chi Tat Chong
Department of Mathematics
National University of Singapore
Info Link

Professor Ralf Schindler
Institut für mathematische Logik und Grundlagenforschung
Fachbereich Mathematik und Informatik
University of Münster
Info Link


Professor Joseph S. Miller
Department of Mathematics
University of Wisconsin–Madison
Info Link


Professor Longyun Ding(丁龙云)
School of Mathematical Sciences
Nankai University(南开大学)
Info Link


Professor Byunghan Kim
Department of Mathematics
Yonsei University
Info Link

方向一 递归论(Recursion Theory)
召集人:喻良教授(南京大学 数学系)

Convener: Professor Liang Yu, Department of Mathematics, Nanjing University

George Barmpalias
Institute of Sofeware
Chinese Academy of Sciences
中科院软件所
Info Link
Cheng Peng(彭 程)
Department of Mathematics
National University of Singapore
新加坡国立大学
Info Link
Yong Liu(刘 勇)
Department of Mathematics
National University of Singapore
新加坡国立大学
Info Link
方向二 集合论(Set Theory)
召集人:丁龙云教授(南开大学 数学科学学院)

Convener: Professor Longyun Ding, School of Mathematical Sciences, Nankai University

Renling Jin(金人麟 )
Department of Mathematics

College of Charleston
查尔斯顿学院(美国)
Info Link


Liuzhen Wu(吴刘臻)
Academy of Mathematics and Systems Science
数学与系统科学研究院
Chinese Academy of Sciences
中国科学院
Info Link
Huilin Zhu(朱慧灵)
School of Data and Computer Science
数据科学与计算机学院
Sun Yat-Sen University
中山大学
Info Link
方向三 证明论(Proof Theory)
召集人:杨跃教授(新加坡国立大学 数学系)、俞珺华(清华大学 哲学系)

Convener: Yue Yang, Department of Mathematics, National University of Singapore
Junhua Yu, Department of Philosophy, Tsinghua University

Thomas Studer
Institute of Computer Science
University of Bern
伯尔尼大学(瑞士)
Info Link
Makoto Fujiwara
藤原 誠
Waseda Institute for Advanced Study
早稲田大学高等研究所
Waseda University
Info Link
Takako Nemoto
School of Information Science
Japan Advanced Institute of Science and Technology
日本北陆先端科学技术大学院大学
Info Link
方向四 人工智能逻辑(Logic of Artificial Intelligence)
召集人:许道云教授(贵州大学 计算机科学与技术学院)

Convener: Professor Daoyun Xu, College of Computer Science and Technology, Guizhou University

Zhikun She(佘志坤)
School of Mathematics and Systems Science
数学与系统科学学院
Beihang University
北京航空航天大学
Info Link
Yisong Wang(王以松)
College of Computer Science and Technology
计算机科学与技术学院
Guizhou University
贵州大学
Info Link
Heng Zhang(章 衡)
Department of Software Engineering
软件工程系
Tianjin University
天津大学
Info Link
方向五 模型论(Model Theory)
召集人:宋诗畅(北京交通大学 理学院)

Convener: Shichang Song, School of Science, Beijing Jiaotong University

Alireza Mofidi
School of Mathematics
The Institute for Research in Fundamental Sciences
基础科学研究所(伊朗)
Info Link
Wong Tin Lok
黄天乐
Department of Mathematics
National University of Singapore
新加坡国立大学
Info Link
更新中
方向六 数学哲学 (Philosophy of Mathematics)
召集人:郝兆宽教授(复旦大学 哲学学院)

Convener: Professor Zhaokuan Hao, School of Philosophy, Fudan University

Ruizhi Yang
杨睿之
School of Philosophy
哲学学院
Fudan University
复旦大学
Info Link
Huimin Dong
董惠敏
Department of Philosophy
哲学系
Zhejiang University
浙江大学
Info Link
更新中

Huishan Wu
吴慧珊
Beijing Language and Culture University
北京语言大学
Info Link
Zhenyu Sun
孙振宇
Renmin University of China
中国人民大学
Info Link
Jinhe Ye
叶谨赫
Notre Dame University
Info Link
Renyan Feng
冯仁艳
Guizhou University
贵州大学
Info Link
更新中 更新中

更新中

Scientific Committee

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

Organizing Committee

Zhou, Jincheng(周锦程)负责具体工作
Wei, Yu(韦煜)
Yan, Zhongquan(严忠权)
Xie, Zhizhou(谢治州)
Li, Mingjiang(李明江)
Li, Zeping(李泽平)
Zhang, Wei(张维)

        本次会议将为数理逻辑及相关领域的研究学者提供一个交流合作的平台,以开展广泛的学术活动、促进我国数理逻辑相关的理论及应用研究。会议邀请了来自中国、美国、新加坡、德国、日本、瑞士、伊朗、韩国等多个国家和地区数理逻辑相关领域的20余位专家、学者作特邀报告和大会报告。报告内容涉及数理逻辑与数学、哲学和计算机科学等相关交叉学科的最新研究成果。

        本次会议不收取任何注册费,所有注册并获批参会的与会者均可免费听取会议期间的所有报告。会议期间提供免费中餐和晚餐,住宿费和交通费等费用自理。欢迎所有从事数理逻辑相关工作的学者、研究生、博士生等参会会议注册时间,即日起至2018年05月05日

        请将附件中的注册表填写完整后于2018年05月05日发送至guideaaa@126.com,联系人:周锦程,联系电话:13809490127。

        若采用360浏览器打开本网站时无法正常浏览,请将浏览器设置为极速模式。

会议通知        会议注册表        都匀市内景点介绍        贵州省省内部分著名景点介绍

        本次会议除参会报告者和特邀嘉宾外不安排住宿,参会嘉宾可自行通过电话提前1~2周起自行预定本次会议的合作酒店(也可自行预定其它酒店),合作酒如下:

        1. 都匀西苑锦辉酒店   距黔南民族师范学院约1.4公里,步行约19分钟。乘坐公共汽车17、18、27、28路直达酒店约10分钟到达、票价约2元或乘坐出租车约4分钟到达,花费约7元。酒店与学校协商价在299~319元/标间(含早餐),酒店电话:0854-8517777,地址:斗篷山路龙山大桥南侧。

         2. 都匀西苑假日酒店   距黔南民族师范学院约1.4公里,步行约19分钟。乘坐公共汽车17、18、27、28路直达酒店约10分钟到达、票价约2元或乘坐出租车约4分钟到达、花费约7元。酒店与学校协商价在199元/标间(无早),酒店电话:0854-875888,地址:斗篷山路(开发区枣园小区门口)。

         3. 都匀西苑锦润酒店   距黔南民族师范学院约1.4公里,步行约19分钟。乘坐公共汽车17、18、27、28路直达酒店约10分钟到达、票价约2元或乘坐出租车约4分钟到达、花费约7元。酒店与学校协商价在249元/标间(无早),酒店电话:0854-5679999,地址:斗篷山路78号。 以上酒店在入住或者电话预订时向酒店说明为黔南民族师范学院2018年全国数理逻辑年会协议价即可享受此优惠。

贵阳至黔南民族师范学院会场乘车路线

一、贵阳—都匀

1. 贵阳龙洞堡机场—都匀东(高铁):

每天10:50—18:30有车,票价约36元,到达时间约1小时内。

2. 贵阳龙洞堡机场—都匀客运总站(汽车):

每天7:30—19:30有车,每间隔40分钟发一班,票价约55元,到达时间大约1 小时30分钟。

3. 贵阳北站—都匀东站(高铁):

每天8:40—19:00有车,票价约39元,到达时间在1小时内。

4. 贵阳站—都匀站(火车):

每天5:00—22:00有车,票价约24.5元,到达时间大约1到2小时内。

5. 贵阳客运东站—都匀客运总站(汽车):

每天8:00—19:00有车,票价约45元,到达时间大约1小时30分钟。

二、 都匀—黔南民族师范学院

1. 都匀东站—黔南民族师范学院:

公交可乘高铁1号线,票价约5元,到达都匀客运总站约1小时然后转乘31路公交车。出租车花费大约60元,到达黔南民族师范学院时间约1小时30分钟。

2. 都匀客运总站—黔南民族师范学院:

公交可乘31路公交车,票价约1元,到达时间约25分钟。出租车大约10元,到达时间约15分钟。

3. 都匀站—黔南民族师范学院:

公交可乘18路公交车,票价约2元,到达时间约30分钟,出租车花费约15元,到达时间约20分钟。

中国数学会 数理逻辑专业委员会
黔南民族师范学院