2025 Annual Conference of Philosophy of Mathematics in China
2025年数学哲学国际学术研讨会
July 25 to 27, 2025
Host: School of Philosophy and Sociology at Lanzhou University
Please register 会议注册. (until July 10)
About
This annual conference aims to bring together philosophers of mathematics around China. The talks will range over several topics:
- Realism, scepticism and pluralism.
- Set theory, Type theory, Category theory and the foundation of mathematics
- Computability theory and reverse mathematics
- Philosophy of logic
- Machine assisted proof and AI in mathematical research
Important dates
Submission Deadline: May 5, 2025
Notification of Review Results: June 1, 2025
Conference Dates: July 25–27, 2025
Speakers
Invited Speakers
- Hamkins, Joel David
- Paseau, Alexander
- Yao, Bokai 姚博凯(local invited speakers)
Contributed Speakers
- Cao, Hangjie 曹航杰
- Chen, Mingkun 陈明坤
- Chen, Junhong 陈俊宏
- Chen, Jason 陈泽晟
- Guo, Chanchan 郭婵婵
- Hu, Yang 胡扬
- Ju, Daheng 鞠大恒
- Li, Haoning 李浩宁
- Liu, Likai 刘力恺
- Long, Yujiang 龙羽江
- Luo, Guanglong 罗广龙
- Peng, Zhen 彭桢
- Wang, Yueer 王月儿
- Yu, Baoshan 于宝山
- Zhang, Wenxin 张文馨
- Zhou, Xingzhe 周星哲
Program
TBA
Organizers
- Bo, Mou (薄谋)
- Chen, Long (陈龙)
- Chen, Jia (陈佳)
- Liang, Xiaolong (梁晓龙)
- Yang, Ruizhi (杨睿之)
Email: jiachen@lzu.edu.cn (local), yangruizhi@fudan.edu.cn (program)