Updates

  • Please register before Oct. 18th so that we can properly arrange your access to our campus. 为了统一为参会人员申请入校,请在10月18日之前注册提交入校信息。

  • On hotel rooms: we are not able to make mass reservation for regular participants, so we urge all regular participants to book their own rooms as soon as possible. 由于北京大学周边酒店客房紧张,我们无法为一般参会人员统一预留酒店房间,恳请有意参会的同学老师尽快自行预定房间!

  • Registration opens: check here! There is no fee, but registration is required.


The Chinese Annual Conference on Mathematical Logic (CACML) is organized by the Professional Committee on Mathematical Logic of the Chinese Mathematical Society. The conference series aims to create a dynamic platform for scholars specializing in mathematical logic and its applications, showcase the latest achievements in the field, foster extensive academic exchanges, and encourage cooperation, all with the shared goal of advancing mathematical logic in China. CACML2024 is hosted by the Department of Philosophy of Peking University from Oct. 25th (arrival) to Oct 27th.

Recursion Theory

Yong Liu
刘勇


Program Committee

  • Longyun Ding 丁龙云 (Chair)
  • Haosui Duanmu 端木昊随
  • Su Gao 高速
  • Zhaokuan Hao 郝兆宽
  • Xianghui Shi 施翔辉
  • Shichang Song 宋诗畅
  • Yanjing Wang 王彦晶
  • Liuzhen Wu 吴刘臻
  • Ningyuan Yao 姚宁远
  • Yue Yang 杨跃
  • Liang Yu 喻良
  • Shuguo Zhang 张树果
  • Xishun Zhao 赵希顺

Local Committee

  • Yanjing Wang 王彦晶 (Chair)
  • Yifeng Ding 丁一峰
  • Kyle Gannon
  • Bokai Yao 姚博凯
  • Shengyang Zhong 钟盛阳
  • Xiaoyu Zhao 赵晓玉 (Poster Design)