11月15日-17日，全国数理逻辑年会暨学术会议在重庆召开。本会议中国数学会数理逻辑专业委员会主办，中国科学院重庆绿色智能技术研究院、西南大学和重庆交通大学联合承办。
会议开幕式由西南大学计算机学院刘志明教授主持。中国科学院重庆绿色智能技术研究院党委书记、副院长韦方强研究员在开幕式致辞，对参会人员表示欢迎并介绍我院院情。中国数学会数理逻辑专业委员会主任、四川大学数学院张树果教授代表学会发表讲话。我院信息所相关科研团队参加了本次会议，高性能计算研究中心刘江副研究员担任本届会议组织委员会主席。
数理逻辑年会旨在为数理逻辑及其相关领域的研究学者提供一个广泛的交流、合作平台，促进中国数理逻辑及其相关领域研究的发展。本次会议邀请了新加坡国立大学庄志达教授（新加坡科学院院士）、美国加州大学Theodore A. Slaman教授、日本神户大学Joerg Brendle教授、波兰华沙大学Krzsztof Krupinski教授、中科院软件所张健教授等逻辑学家和计算机科学家作大会报告。同时，会议还邀请到了国内外数理逻辑、计算机逻辑、哲学逻辑、形式化方法与人工智能等学科、领域的知名教授、专家作会议专题报告。来自全国高校、科研院所以及国外逻辑界近100名代表参会。
