本网讯 11月26日到27日，我校在线上举办2022年全国数理逻辑年会（CACML2022）。本次会议由中国数学会数理逻辑专业委员会主办，我校数理与金融学院承办。国内外该领域知名专家学者参加了本次线上年会。校党委常委、副校长费为银出席开幕式，数理与金融学院相关负责人，大会组委会成员和师生代表出席开幕式。开幕式由学院院长吴小太主持。
费为银在致辞中介绍了我校和学科的基本情况，向参会嘉宾表示了热烈欢迎和衷心感谢，预祝年会取得圆满成功。中国数学会数理逻辑专业委员会主任、南开大学数学科学学院院长丁龙云教授致辞，表示感谢安徽工程大学承办本次数理逻辑年会，并介绍了中国数学会数理逻辑专业委员会的发展情况和本次年会的基本情况。
本次年会大会报告共有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》的大会报告，介绍了模型论的新进展以及在数论和代数几何中的应用。 大会另设有集合论、递归论、模型论、数学哲学四个分会场分会场共计12个分组报告。
“全国数理逻辑年会”是中国数学会数理逻辑专业委员会主办的年会，会议旨在为数理逻辑及其应用的学者提供交流最新成果的平台，以开展广泛深入的学术交流与合作，进而更好地促进我国数理逻辑学科的发展。
（文/图：尹志；审核：潘海峰；编辑：查桂义）
