6月5日至7日，2026全国数理逻辑年会在清华大学举行。本次会议由中国数学会数理逻辑专业委员会主办，清华大学-阿姆斯特丹大学逻辑学联合研究中心、求真书院、哲学系共同承办。来自中国科学院、南开大学、复旦大学、阿姆斯特丹大学、南洋理工大学等国内外高校和科研机构的专家学者，以及全国30余所高校的百余名师生参会。

年会现场

本次年会围绕数理逻辑及相关领域前沿问题设置4场大会学术报告、1场大会科普性报告，并设置集合论、模型论、递归论、哲学逻辑4个分会场共12场分组学术报告，同时举办学术海报展示与交流活动。

5日晚，南开大学教授丁龙云作题为“从等价关系到波莱尔归约：如何比较数学分类问题”的大会科普性报告。

6日上午，年会开幕式在蒙民伟人文楼举行。求真书院院长丘成桐院士在致辞中回顾了作为一名数学家与数理逻辑之间的渊源，并对中国数理逻辑的未来发展提出殷切期望。哲学系主任唐文明梳理了哲学系自创建之初便形成的“分析”传统，介绍了金岳霖、王浩、王宪均等曾在哲学系任教或求学的著名逻辑学家。中国数学会数理逻辑专业委员会主任高速回顾了全国数理逻辑年会的发展历程，感谢各位专家学者的积极参与并预祝年会圆满成功。开幕式由清华大学-阿姆斯特丹大学逻辑学联合研究中心主任刘奋荣主持。

复旦大学教授威廉?约翰逊（Will Johnson）、南洋理工大学教授恩·庆明（Keng Meng Ng）、阿姆斯特丹大学副教授尼克·贝扎尼什维利（Nick Bezhanishvili）、中国科学院副研究员吴刘臻分别以“关于一般可微性与可定义群”“问题的相对算法强度”“超直觉主义逻辑与模态逻辑中有穷模型性的度”“有穷层模型的力迫”为题作大会学术报告，集中展示了数理逻辑多个核心方向的最新研究进展。

分会场报告中，与会专家学者围绕递归论、模型论、集合论、哲学逻辑等方向进行深入交流。

6日下午，大会举行学术海报展示与交流活动。来自南开大学、清华大学、北京雁栖湖应用数学研究院等高校和科研机构的青年学者展示了各自研究工作，并与参会学者面对面交流。经评审委员会评审，多凯、李瑞文、陈谦、毛芮桓获得优秀海报奖。

大会于6月7日中午闭幕。