7月30日至8月1日，第四屆ACM中國(guó)圖靈大會(huì)在合肥舉行。安徽省副省長(zhǎng)張紅文，合肥市委副書記、市長(zhǎng)羅云峰，中國(guó)科學(xué)技術(shù)大學(xué)校長(zhǎng)包信和院士，以及大會(huì)協(xié)辦企業(yè)華為、科大國(guó)創(chuàng)、華米、阿里、百度等代表出席開幕式。圖靈獎(jiǎng)獲得者John Hopcroft、ACM中國(guó)理事會(huì)指導(dǎo)委員會(huì)主席CCF理事長(zhǎng)梅宏院士、中國(guó)科學(xué)院何積豐院士、管曉宏院士、鄂維南院士、樊文飛院士、馬爾獎(jiǎng)獲得者朱松純教授等在大會(huì)上作特邀報(bào)告。在嚴(yán)格遵守各項(xiàng)防疫措施和規(guī)范的前提下，由宿州學(xué)院信息工程學(xué)院軟件工程教研室主任崔琳博士帶隊(duì)，張志偉博士以及田文泉三位老師參加了此次圖靈大會(huì)。

會(huì)議期間，北京通用人工智能研究院院長(zhǎng)朱松純教授、中國(guó)科學(xué)院院士何積豐、中國(guó)科學(xué)院院士鄂維南等應(yīng)邀在大會(huì)做主旨報(bào)告。其中，朱松純談通用人工智能：學(xué)科大交叉大融合的機(jī)遇與挑戰(zhàn)。朱松純教授以三十年跨學(xué)科治學(xué)的經(jīng)歷，作探討人工智能發(fā)展對(duì)內(nèi)交叉融合、對(duì)外交叉拓展的大趨勢(shì),以及追尋人工智能統(tǒng)一的理論框架、回歸通用人工智能研究的目標(biāo)。何院士本次報(bào)告的重點(diǎn)為“形式化方法提倡代數(shù)方法在程序的規(guī)范化和實(shí)現(xiàn)中所起的關(guān)鍵作用”，提出了一種程序連接理論的新思路，給出一組支持程序分析和驗(yàn)證的代數(shù)法則。鄂維南院士在報(bào)告中指出，現(xiàn)代機(jī)器學(xué)習(xí)的核心問(wèn)題是怎樣有效地逼近一個(gè)高維空間的函數(shù)。傳統(tǒng)的逼近論方法會(huì)導(dǎo)致維數(shù)災(zāi)難，這是對(duì)許多領(lǐng)域來(lái)說(shuō)困惑了學(xué)界多年的問(wèn)題。

通過(guò)此次會(huì)議，與會(huì)的各位老師不僅學(xué)習(xí)到了計(jì)算機(jī)領(lǐng)域國(guó)際最前沿的研究主題，而且獲得了與領(lǐng)域內(nèi)國(guó)際頂尖學(xué)者面對(duì)面交流的機(jī)會(huì)，同時(shí)也認(rèn)識(shí)到了自身的不足與差距。通過(guò)此次會(huì)議，與會(huì)的各位老師收獲頗豐，進(jìn)一步明確了自身的發(fā)展方向，為今后信息工程學(xué)院的專業(yè)建設(shè)與學(xué)科發(fā)展積極建言獻(xiàn)策，添磚加瓦。（撰稿：張志偉、崔琳、田文泉 編輯：張苗）