2024 Annual Conference of Philosophy of Mathematics in China
2024年数学哲学国际学术研讨会
August 12 to 13, 2024
Host: School of Philosophy and Philosophy of Science and Technology at Shanxi University
Registration!
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
The meeting will be both online and in-person. There is no conference fee for this conference.
Speakers
Invited Speakers
- Avigad, Jeremy
- Barton, Neil
- Gao，Kun 高坤
- Luo, Zhaohui 罗朝晖
- Meadows, Toby
- Ramanujam, R.
Contributed Speakers
- Chen, Yukun 陈禹锟
- Gao, Beibei 高贝贝
- Guo, Huayu 郭华钰
- Ju, Daheng 鞠大恒
- Kang, Xiaojun 康孝军
- Liang, Dezhu 梁德柱
- Liu, Likai 刘力恺
- Luo, Guanglong 罗广龙
- Qu, Siquan 曲思全
- Wu, Shuwen 邬舒雯
- Xiong, Ming 熊明
- Yang, Ziren 杨滋仁
- Yu, Baoshan 于宝山
- Yu, Huan 余欢
- Zhou, Jianan 周佳楠
- Zhou, Xingzhe 周星哲
Organizers
- Liang, Xiaolong (梁晓龙)
- Yang, Ruizhi (杨睿之)
- Chen, Long (陈龙)
Email: lianghillon@gmail.com, yangruizhi@fudan.edu.cn, long.chen@bnu.edu.cn