| 5月21日 | ||
| 9:00 - 9:30 | 开场 | 袁新 冯琦 郝兆宽 |
| 9:30 - 9:55 | 茶歇（照相） | |
| 9:55 - 10:40 | 基数不变量与Tukey归约 摘要 Slides | 张树果 |
| 10:40 - 11:25 | Unprovability and Beyond. Abstract Slides | 蔡铭中 |
| 11:25-13:30 | 午休 | |
| Contributed Talks: Session 1 | ||
| 13:30 - 14:00 | Random graphs, first-order logic, and | 陈翌佳 |
| 14:00 - 14:30 | Bounded Correctness Checking of Properties of the Computation Tree Logic. Abstract | 张文辉 |
| 14:30 - 15:00 | Uniform Interpolation in Multi-Agent Modal Logics. Abstract Slides | 方良达 |
| 15:00 - 15:15 | 茶歇 | |
| Contributed Talks: Session 2 | ||
| 15:15 - 15:45 | To do something else. Abstract Slides | 琚凤魁 |
| 15:45 - 16:15 | Very Large Cardinals and Combinatorics. Abstract Slides | Vincenzo Dimonte |
| 16:15 - 16:45 | 胡塞尔对弗雷格外延主义数论的批判. 论文 | 李义民 |
| 16:45 - 17:15 | 实质蕴涵辨析. 摘要 | 贾国恒 |
| 5月22日 | ||
| 9:00 - 9:45 | Equivalence Relations and Borel Reduction. Abstract Slides | 丁龙云 |
| 9:45 - 10:30 | On higher Friedman's conjecture and degree determinacy on | 喻良 |
| 10:30 - 10:45 | 茶歇 | |
| 10:45 - 11:45 | 数理逻辑专业委员会扩大会议 | |
| 11:45-14:00 | 午休 | |
| 14:00 - 16:00 | 中国数理逻辑发展专题讨论 |
中国数学会数理逻辑专业委员会