宿州学院信息工程学院教师参加第四届ACM中国图灵大会

7月30日至8月1日，第四届ACM中国图灵大会在合肥举行。安徽省副省长张红文，合肥市委副书记、市长罗云峰，中国科学技术大学校长包信和院士，以及大会协办企业华为、科大国创、华米、阿里、百度等代表出席开幕式。图灵奖获得者John Hopcroft、ACM中国理事会指导委员会主席CCF理事长梅宏院士、中国科学院何积丰院士、管晓宏院士、鄂维南院士、樊文飞院士、马尔奖获得者朱松纯教授等在大会上作特邀报告。在严格遵守各项防疫措施和规范的前提下，由宿州学院信息工程学院软件工程教研室主任崔琳博士带队，张志伟博士以及田文泉三位老师参加了此次图灵大会。

会议期间，北京通用人工智能研究院院长朱松纯教授、中国科学院院士何积丰、中国科学院院士鄂维南等应邀在大会做主旨报告。其中，朱松纯谈通用人工智能：学科大交叉大融合的机遇与挑战。朱松纯教授以三十年跨学科治学的经历，作探讨人工智能发展对内交叉融合、对外交叉拓展的大趋势,以及追寻人工智能统一的理论框架、回归通用人工智能研究的目标。何院士本次报告的重点为“形式化方法提倡代数方法在程序的规范化和实现中所起的关键作用”，提出了一种程序连接理论的新思路，给出一组支持程序分析和验证的代数法则。鄂维南院士在报告中指出，现代机器学习的核心问题是怎样有效地逼近一个高维空间的函数。传统的逼近论方法会导致维数灾难，这是对许多领域来说困惑了学界多年的问题。

通过此次会议，与会的各位老师不仅学习到了计算机领域国际最前沿的研究主题，而且获得了与领域内国际顶尖学者面对面交流的机会，同时也认识到了自身的不足与差距。通过此次会议，与会的各位老师收获颇丰，进一步明确了自身的发展方向，为今后信息工程学院的专业建设与学科发展积极建言献策，添砖加瓦。（撰稿：张志伟、崔琳、田文泉 编辑：张苗）