由中国数学会数理逻辑专业委员会主办的全国数理逻辑年会系列会议旨在为数理逻辑及其应用的学者提供交流最新成果的平台，以开展广泛深入的学术交流与合作，进而更好地促进我国数理逻辑学科的发展。2024年全国数理逻辑年会由北京大学哲学系（宗教学系）承办，将于10月25日至27日在北京大学举行。
会议日程
10月25日 星期五
15:00-17:00
公众报告
数学中分类问题的复杂性
高速 南开大学
主持人：宋春伟 北京大学
地点：智华楼 丁石孙教室
直播：
10月26日 星期六
8:30-9:00
开幕式
勺园会议中心 弘雅厅
9:00-10:00
大会报告
Infinite structural Ramsey theory and logic
Natasha Dobrinen University of Notre Dame
主持人：高速 南开大学
勺园会议中心 弘雅厅
10:15-11:15
大会报告
From model theory to mathematical economics
孙业能 National University of Singapore
主持人：端木昊随 哈尔滨工业大学
勺园会议中心 弘雅厅
11:30-12:10
分组报告
The definability of cardinality and Small Violations of Choice
姚博凯 北京大学
主持人：张树果 四川大学
勺园会议中心 弘雅厅
分组报告
The determinacy strength of probabilistic omega-languages
李文娟 北京雁栖湖应用数学研究院
主持人：刘勇 南京晓庄学院
勺园会议中心 博雅厅
13:45-14:45
大会报告
Definable combinatorial principles in fragments of arithmetic
王玮 中山大学
主持人：喻良 南京大学
勺园会议中心 弘雅厅
15:00-15:40
分组报告
Embedding Borel graphs into grids
于静 复旦大学
主持人：施翔晖 北京师范大学
勺园会议中心 弘雅厅
分组报告
Splitting properties in 3-c.e. degrees
刘勇 南京晓庄学院
主持人：彭宁宁 武汉理工大学
勺园会议中心 博雅厅
15:40-16:20
分组报告
An order analysis of hyperfinite Borel equivalence relations
肖鸣 南开大学
主持人：施翔辉 北京师范大学
勺园会议中心 弘雅厅
分组报告
Multiple applications of fully first order problems
Daniel Mourad 南京大学
主持人：彭宁宁 武汉理工大学
勺园会议中心 博雅厅
16:35-17:15
分组报告
On groups definable in p-adically closed fields
姚宁远 复旦大学
主持人：Kyle Gannon 北京大学
勺园会议中心 弘雅厅
分组报告
Doing logic like doing physics: a logical theory of conditionals and modals
文学锋 中山大学
主持人：钟盛阳 北京大学
勺园会议中心 博雅厅
17:15-17:55
分组报告
Amalgamation and existential closedness of valued difference fields
Jan Dobrowolski University of Manchester
主持人：Kyle Gannon 北京大学
勺园会议中心 弘雅厅
分组报告
Axiomatization of modal logic with complementary operator and
Boolean modal logic
石辰威 清华大学
主持人：钟盛阳 北京大学
勺园会议中心 博雅厅
18:00-18:50
数理逻辑专业委员会改选
10月27日 星期日
9:00-9:40
分组报告
Existence of Kim-independence in NSOP1 theories over sets
Joonhee Kim Korea Institute for Advanced Study
主持人：宋诗畅 北京交通大学
勺园会议中心 弘雅厅
分组报告
The surprise exam in full modal fixed-point logic
李延军 南开大学
主持人：丁一峰 北京大学
勺园会议中心 博雅厅
9:55-10:55
大会报告
Topological models of provability logic
Lev Beklemishev Steklov mathematical institute, RAS
主持人：王彦晶 北京大学
勺园会议中心 弘雅厅
11:10-12:10
大会报告
Word structures and their automatic presentations
Bakh Khoussainov 电子科技大学
主持人：赵希顺 中山大学
勺园会议中心 弘雅厅
12:10-12:30
闭幕式
勺园会议中心 弘雅厅
会议程序委员会
· 丁龙云 (主席)
· 端木昊随
· 高速
· 郝兆宽
· 施翔辉
· 宋诗畅
· 王彦晶
· 吴刘臻
· 姚宁远
· 杨跃
· 喻良
· 张树果
· 赵希顺
本地组织委员会
· 王彦晶 (主席)
· 丁一峰
· Kyle Gannon
· 姚博凯
· 邢滔滔
· 钟盛阳
· 赵晓玉 (特邀设计)
供稿 | 丁一峰
排版 | 刘枫林
审核 | 王彦晶
发布 | 刘枫林
