步入2021年，“數(shù)智化時(shí)代”元年開啟，大數(shù)據(jù)與人工智能成為了新的生產(chǎn)要素，將引領(lǐng)未來發(fā)展。7月31日至8月1日，第四屆ACM中國圖靈大會(huì)在合肥隆重舉行，本次大會(huì)以“智能+與工業(yè)互聯(lián)網(wǎng)”為主題，突出了國際化、智能化、專業(yè)化的特色。安徽省政府副省長張紅文，合肥市委副書記、市長羅云峰，中國科學(xué)技術(shù)大學(xué)校長包信和，以及大會(huì)協(xié)辦企業(yè)華為、【科大國創(chuàng)(300520)、股吧】、華米等代表出席開幕式并致辭。會(huì)議期間，省長王清憲還與出席大會(huì)的專家學(xué)者、企業(yè)家舉行了工作會(huì)談。

　　本屆大會(huì)由中國科學(xué)技術(shù)大學(xué)等國內(nèi)二十多所高校聯(lián)合承辦，設(shè)有人工智能、高可信軟件、工業(yè)互聯(lián)網(wǎng)、嵌入式系統(tǒng)、無線網(wǎng)絡(luò)、通信網(wǎng)絡(luò)、計(jì)算機(jī)教育等專題分論壇，共話對尖端技術(shù)的看法，探討人工智能的未來發(fā)展趨勢，已成為中國計(jì)算機(jī)領(lǐng)域級別最高、規(guī)模最大的學(xué)術(shù)盛會(huì)之一。

　　在7月31日上午大會(huì)主旨演講環(huán)節(jié)，多位院士、馬爾獎(jiǎng)獲得者及企業(yè)代表作主旨報(bào)告。人工智能專家、馬爾獎(jiǎng)獲得者朱松純作《通用人工智能：學(xué)科大交叉大融合的機(jī)遇與挑戰(zhàn)》主旨報(bào)告；中國科學(xué)院院士何積豐作《一種程序連接理論的新思路》主旨報(bào)告；中國科學(xué)院院士鄂維南作《神經(jīng)網(wǎng)絡(luò)的數(shù)學(xué)理論》主旨報(bào)告。

　　科大國創(chuàng)作為大會(huì)官方首席戰(zhàn)略合作伙伴深度參與大會(huì)，并于7月31日下午舉辦“ACM中國圖靈大會(huì)—高可信軟件技術(shù)論壇”。本次論壇是在安徽省經(jīng)濟(jì)和信息化廳的指導(dǎo)下，由中國科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院、CCF形式化專委會(huì)、CCF合肥分部主辦，由科大國創(chuàng)與上?？匕病⒅锌茋鴦?chuàng)高可信聯(lián)合承辦的高可信軟件技術(shù)主題尖端論壇。中國科學(xué)院院士何積豐，安徽省經(jīng)濟(jì)和信息化廳黨組成員、副廳長柯文斌，中國科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院執(zhí)行院長李向陽，科大國創(chuàng)董事長董永東等領(lǐng)導(dǎo)出席論壇并致辭。

　　會(huì)上，南京大學(xué)教授馮新宇、中科院軟件所研究員詹乃軍、浙江大學(xué)教授趙永望分別作主旨報(bào)告，就軟件分析和驗(yàn)證等前沿技術(shù)分享了自己的見解和研究、應(yīng)用成果。

　　中科國創(chuàng)高可信聯(lián)合上?？匕病⑸虾?chuàng)景、蘇州棱鏡七彩、上海復(fù)深藍(lán)等公司共同發(fā)布國產(chǎn)高可信軟件工具鏈

　　論壇還啟動(dòng)了高可信軟件工具鏈的發(fā)布儀式，旨在匯聚行業(yè)之資源，推動(dòng)高可信軟件的國產(chǎn)化替代，為用戶提供全面可信的測試服務(wù)，不斷推動(dòng)高可信軟件的商業(yè)化應(yīng)用和發(fā)展。

　　本次論壇還邀請專家學(xué)者——中科院軟件研究所張健研究員，用戶代表——華為軟件工程應(yīng)用技術(shù)實(shí)驗(yàn)室夏鑫主任、卡斯柯信號有限公司測試中心劉錦峰副主任，以及廠商代表——上?？匕部尚跑浖?chuàng)新研究院繆煒愷院長、中科國創(chuàng)高可信軟件有限公司研發(fā)總監(jiān)李兆鵬進(jìn)行圓桌對話。在話題召集人——科大國創(chuàng)副總裁、中科國創(chuàng)高可信總經(jīng)理孔皖生的發(fā)起下，對話嘉賓暢談了國產(chǎn)高可信軟件的現(xiàn)狀與未來。在全球新一輪數(shù)字化、智能化浪潮下，高可信軟件技術(shù)的廣泛和深入應(yīng)用未來可期。

　　本次高可信軟件技術(shù)論壇的成功舉辦，標(biāo)志著企業(yè)作為最重要的市場主體，已充分發(fā)揮了技術(shù)創(chuàng)新和成果轉(zhuǎn)化的巨大作用。多年來，科大國創(chuàng)一直致力于自主研發(fā)，基于程序分析與形式化驗(yàn)證工具的高可信軟件技術(shù)，搶抓國家科技創(chuàng)新的良好機(jī)遇，推進(jìn)高可信軟件相關(guān)標(biāo)準(zhǔn)的制定，加快高可信軟件的實(shí)際應(yīng)用，直接服務(wù)于數(shù)字經(jīng)濟(jì)的高質(zhì)量發(fā)展。

　　除承辦本次大會(huì)高可信軟件技術(shù)論壇外，科大國創(chuàng)還深度參與圖靈大會(huì)的各項(xiàng)活動(dòng)。7月31日晚，由科大國創(chuàng)獨(dú)家冠名的ACM中國頒獎(jiǎng)典禮拉開帷幕，現(xiàn)場頒發(fā)了ACM China新星獎(jiǎng)及優(yōu)秀博士論文獎(jiǎng)，旨在表彰中國計(jì)算機(jī)領(lǐng)域青年學(xué)者取得的研究成績，鼓勵(lì)獲獎(jiǎng)?wù)咚龅膶Ｗ⒀芯?，進(jìn)一步推動(dòng)青年學(xué)者在科研領(lǐng)域的發(fā)展與進(jìn)步。

　　在8月1日大會(huì)主旨演講環(huán)節(jié)，圖靈獎(jiǎng)獲得者John Hopcroft及多位院士、企業(yè)代表作大會(huì)主旨報(bào)告。圖靈獎(jiǎng)獲得者John Hopcroft作《Computer Science and AI Are Driving an Information Revolution》主旨報(bào)告，ACM China 指導(dǎo)委員會(huì)主席、CCF理事長梅宏院士作《迎接轉(zhuǎn)型時(shí)代、擁抱開放創(chuàng)新》主旨報(bào)告，中國科學(xué)院管曉宏院士作《音樂藝術(shù)中的計(jì)算智能》主旨報(bào)告。

　　科大國創(chuàng)董事、國創(chuàng)中央研究院院長紀(jì)金龍博士作大會(huì)《高可信軟件技術(shù)與我們的實(shí)踐》主旨報(bào)告，分享了科大國創(chuàng)關(guān)于高可信軟件技術(shù)的思考、實(shí)踐與未來發(fā)展的機(jī)遇和挑戰(zhàn)，并與中科院管曉宏院士等參與大會(huì)關(guān)于人工智能的主題對話—“我們?nèi)晕粗牢磥碇悄苁澜绲臉幼印保l(fā)表精彩言論。

　　當(dāng)前，全球新一輪科技革命和產(chǎn)業(yè)變革正加速演進(jìn)，軟件作為新一代信息技術(shù)之魂，網(wǎng)絡(luò)安全之盾，經(jīng)濟(jì)轉(zhuǎn)型之擎，數(shù)字社會(huì)之基，軟件定義一切的時(shí)代已然到來。

　　未來，科大國創(chuàng)作為大數(shù)據(jù)研發(fā)和應(yīng)用的國家隊(duì)，軟件技術(shù)與實(shí)踐的領(lǐng)導(dǎo)者，高可信軟件研發(fā)及推廣的創(chuàng)新者，將不斷堅(jiān)持自主科技創(chuàng)新，推動(dòng)高可信軟件在尖端科技、社會(huì)經(jīng)濟(jì)和生活領(lǐng)域中發(fā)揮關(guān)鍵作用，研發(fā)出具有世界領(lǐng)先水平的高可信軟件驗(yàn)證工具和集成開發(fā)平臺，培育出一批優(yōu)秀的頂尖人才，向著機(jī)器人編程的目標(biāo)奮進(jìn)。同時(shí)，科大國創(chuàng)將與眾多生態(tài)合作伙伴一起，解決“卡脖子”問題，不斷堅(jiān)持自主技術(shù)創(chuàng)新，為中國人爭氣，為國產(chǎn)自主核心技術(shù)和國家科技創(chuàng)新的發(fā)展貢獻(xiàn)力量。