2018年中国数理逻辑年会

2018 Chinese Mathematical Logic Conference


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

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

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

Renlin 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

Yisong Wang(王以松)
College of Computer Science and Technology
计算机科学与技术学院
Guizhou University
贵州大学
Info Link
Quan Yu(余 泉)
School of Mathematics and Statistics
数学与统计学院
Qiannan Normal University for Nationalities
黔南民族师范学院
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

Renjun Wang
王仁俊
Department of Philosophy
哲学系
National Chung Cheng University
台湾中正大学
Info Link
Ruizhi Yang
杨睿之
School of Philosophy
哲学学院
Fudan University
复旦大学
Info Link
更新中

Zhenyu Sun
孙振宇
Info Link
Jinhe Ye
叶谨赫
Notre Dame 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(张维)

        会议不收取任何费用,会议期间提供免费中餐和晚餐,除Public Lecture, Plenary Speaker,  Session Talk等主讲嘉宾外,其余参会人员的住宿费和车旅等费用自理。通常情况下,博士生或硕士生的报告类型为Contributed Talk,欢迎所有相关方向的在读博士生和硕士研究生参与此类型的报告。会议注册时间大约从3月初开始,注册方式我们将会尽快发布。

联系方式:

Jincheng Zhou 周锦程

guideaaa@126.com

Wei Zhang 张维

aandy1224zw@163.com

中国 贵州省 都匀市 黔南民族师范学院数学与统计学院

笃行楼3107,558000

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