2021年7月30日至8月1日，第四届 ACM中国图灵大会在合肥举行。安徽省副省长张红文，合肥市委副书记、市长罗云峰，中国科学技术大学校长包信和院士，以及大会协办企业华为、科大国创、华米、阿里、百度等代表出席开幕式。图灵奖获得者John Hopcroft、ACM中国理事会指导委员会主席CCF理事长梅宏院士、中国科学院何积丰院士、管晓宏院士、鄂维南院士、樊文飞院士、马尔奖获得者朱松纯教授等在大会上作特邀报告。会议期间，安徽省省长王清宪同与会专家召开座谈会。在严格遵守各项防疫措施和规范的前提下，由信息工程学院软件工程教研室主任崔琳博士带队，张志伟博士以及田文泉三位老师参加了此次图灵大会。
安徽省副省长张红文代表安徽省政府对长期以来关心和支持安徽发展的社会各界人士表达衷心的感谢。他指出安徽省科技资源丰富，科研力量雄厚，政策扶持力度大。当前，为推动人工智能等新兴产业发展，省政府正规划产业链“链长”制，聚力打造安徽科技创新发展新格局。
中国科学技术大学校长包信和在开幕致辞中对此次大会的顺利召开表达了祝贺。他表示，近年来在国家战略指导下，中国科大牵头或参与了一系列国家重点科研项目，取得了丰富科研成果。未来，在安徽省政府支持下，中国科大还将继续深耕人工智能领域，汇聚海内外创新资源，打造国际一流创新高地，建设“科大硅谷”，为党和国家的事业做出新的贡献。
会议期间，北京通用人工智能研究院院长朱松纯教授、中国科学院院士何积丰、中国科学院院士鄂维南等应邀在大会做主旨报告。其中，朱松纯谈通用人工智能：学科大交叉大融合的机遇与挑战。朱松纯教授以三十年跨学科治学的经历，作探讨人工智能发展对内交叉融合、对外交叉拓展的大趋势, 以及追寻人工智能统一的理论框架、回归通用人工智能研究的目标。何院士本次报告的重点为“形式化方法提倡代数方法在程序的规范化和实现中所起的关键作用”，提出了一种程序连接理论的新思路，给出一组支持程序分析和验证的代数法则。鄂维南院士在报告中指出，现代机器学习的核心问题是怎样有效地逼近一个高维空间的函数。传统的逼近论方法会导致维数灾难，这是对许多领域来说困惑了学界多年的问题。
通过此次会议，与会的各位老师不仅学习到了计算机领域国际最前沿的研究主题，而且获得了与领域内国际顶尖学者面对面交流的机会，同时也认识到了自身的不足与差距。通过此次会议，与会的各位老师收获颇丰，进一步明确了自身的发展方向，为今后信息工程学院的专业建设与学科发展积极建言献策，添砖加瓦。
（撰稿：张志伟、崔琳、田文泉 审核：宋启祥）
信息工程学院
