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
Contributed Speakers
TBA
Organizers
- Bo, Mou (薄谋)
- Chen, Long (陈龙)
- Chen, Jia (陈佳)
- Liang, Xiaolong (梁晓龙)
- Yang, Ruizhi (杨睿之)
Email: jiachen@lzu.edu.cn (local), yangruizhi@fudan.edu.cn (program)