11月26日到27日，我校在线上举办2022年全国数理逻辑年会（CACML2022）。本次会议由中国数学会数理逻辑专业委员会主办，我校数理与金融学院承办。加拿大皇家学会院士、多伦多大学Stevo Todorcevic教授，加州大学伯克利分校Antonio Montalban教授，牛津大学数学研究所Boris Zilber教授，查尔斯顿学院金人麟教授，康奈尔大学Slawomir Solecki教授，原国际符号逻辑协会东亚分会理事长、国际符号逻辑协会理事冯琦研究员，原陕西师范大学副校长赵彬教授，中国数学会数理逻辑专业委员会首任主任、四川大学张树果教授，南开大学讲席教授高速教授，中国数学会数理逻辑专业委员会现任主任、南开大学数学科学学院院长丁龙云教授，中国数学会数理逻辑专业委员会副主任、南京大学数学系主任喻良教授，国际符号逻辑协会翻译委员会委员、复旦大学郝兆宽教授，中山大学逻辑与认知研究所赵希顺教授等国内外知名专家学者参加了本次线上年会。校党委常委、副校长费为银，数理与金融学院党委书记周毅仁，院长吴小太，大会组委会成员和师生代表出席开幕式。开幕式由学院院长吴小太主持。
副校长费为银在开幕式致辞中介绍了我校和学科的基本情况，向参会嘉宾表示了热烈欢迎和衷心感谢，并预祝年会取得圆满成功。中国数学会数理逻辑专业委员会主任、南开大学数学科学学院院长丁龙云教授作会议致辞，丁教授感谢我校承办本次数理逻辑年会，并介绍了中国数学会数理逻辑专业委员会的发展情况和本次年会的基本情况。
本次年会大会报告共有5场。美国查尔斯顿学院金人麟教授作题为《Many Levels of Infinities and Multidimension van der Waerden’s Theorem》的大会报告，报告人构建了非标准分析新的框架，并在此框架中给出多维范德瓦尔登定理的简单非标准证明。加州大学伯克利分校、2014年国际数学家大会45分钟分组报告人Antonio Montalban教授作题为《A Robuster Scott Rank》的大会报告，引入了 Robuster Scott Rank，并以此为工具证明可数结构的各种不同的衡量复杂性的方法是相容的。中国数学会数理逻辑委员会首任主任、四川大学张树果教授作题为《Ideals, Ultrafilters and Cardinal Invariants of the Continuum》的大会报告，介绍了团队最近几年在理想、超滤子和连续统基数不变量方面的研究成果。加拿大皇家学会院士、加拿大数学首席科学家（Canada Research Chair）、法国国家科学研究中心主任、多伦多大学的Stevo Todorcevic教授作题为《A Dual Ramsey Theorem for Finite Trees》的大会报告，介绍了有限树的对偶 Ramsey 定理。牛津大学数学研究所的Boris Zilber教授作题为《Applied Model Theory beyond first order》的大会报告，介绍了模型论的新进展以及在数论和代数几何中的应用。
分组报告共4场。集合论分会场的三个分组报告分别来自英国利兹大学袁嘉辰的《How far is strong compactness from almost strong compactness》，中科院数学与系统科学研究院彭银河的《MAω1 does not imply K2》,以及多伦多大学和哈工大数学研究院David Schrittesser的《Nonstandard methods for statistics》。递归论分会场的三个分组报告分别来自加州州立大学北岭分校何孟哲的《Free structures and limiting density》，中科院软件研究所方楠的《Integer-valued martingales and cl-reductions》，以及新西兰惠灵顿维多利亚大学谢若非的《An Investigation of the Rademacher series with Algorithmic Randomness》。模型论分会场的三个分组报告分别来自中科院数学与系统科学研究院Rizos Sklinos的《Fields interpretable in nonabelian free groups》，复旦大学William Johnson的《Around definable types in p-adically closed fields》，以及复旦大学姚宁远的《On Algebraicity of definable groups over the field of p-adic numbers》。数学哲学分会场的三个分组报告分别来自中国科学院大学、中科院哲学研究所李大柱的《Logical approaches to the Cops and Robber game》，北京大学丁一峰的《Examining the Fundamental Theorem of World Theory in Modal Logics with Propositional Quantifiers》，以及复旦大学杨睿之的《Pluralism in mathematics and universal finite set》。
“全国数理逻辑年会”是中国数学会数理逻辑专业委员会主办的年会，会议旨在为数理逻辑及其应用的学者提供交流最新成果的平台，以开展广泛深入的学术交流与合作，进而更好地促进我国数理逻辑学科的发展。
（文/图：尹志；审核：潘海峰）