2018年中国数理逻辑年会

2018 Chinese Mathematical Logic Conference


May 12 - 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

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

Professor Liang Yu, Department of Mathematics, Nanjing University

George Barmpalias
Department of Mathematics
Chinese Academy of Sciences
Info Link
Mariya Soskova
Department of Mathematics
University of Wisconsin–Madison
Info Link
Yong Liu(刘 勇)
Department of Mathematics
National University of Singapore
Info Link
方向二 集合论
召集人:丁龙云教授(南开大学 数学科学学院)

Professor Longyun Ding, School of Mathematical Sciences, Nankai University

Professor 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
方向三 人工智能逻辑
召集人:许道云教授(贵州大学 计算机科学与技术学院)

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

Professor Yisong Wang
王以松
College of Computer Science and Technology
计算机科学与技术学院
Guizhou University
贵州大学
Info Link
Professor Quan Yu
余泉
School of Mathematics and Statistics
数学与统计学院
Qiannan Normal University for Nationalities
黔南民族师范学院
Info Link
Heng Zhang
章衡
Department of Software Engineering
软件工程系
Tianjin University
天津大学
Info Link
方向四 数学哲学
召集人:郝兆宽教授(复旦大学 哲学学院)

Professor Zhaokuan Hao, School of Philosophy, Fudan University

Ruizhi Yang
杨睿之
School of Philosophy
哲学学院
Fudan University
复旦大学
Info Link
更新中 更新中
方向五 模型论
召集人:宋诗畅(北京交通大学)

Shichang Song, School of Science, Beijing Jiaotong University

Alireza Mofidi
School of Mathematics
The Institute for Research in Fundamental Sciences, Iran
Info Link
更新中 更新中
方向六 证明论
召集人:傅育熙教授(上海交通大学 软件学院)、俞珺华(清华大学 哲学系)

Yuxi Fu, School of Software, Shanghai Jiaotong University
Junhua Yu, Department of Philosophy, Tsinghua University

更新中 更新中 更新中

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

Wei, Yu
Yan, Zhongquan
Xie, Zhizhou
Li, Mingjiang
Li, Zeping
Zhou, Jincheng
Zhang, Wei

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

联系方式:

Jincheng Zhou 周锦程

guideaaa@126.com

Wei Zhang 张维

aandy1224zw@163.com

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

笃行楼3107,558000

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