2023年7月29日,由中國計(jì)算機(jī)學(xué)會(CCF)主辦,CCF容錯(cuò)計(jì)算專業(yè)委員會和南京大學(xué)聯(lián)合承辦的“第二十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會議(CCF CFTC 2023)”在江蘇省常州市中吳賓館成功召開。來自全國高校、研究所以及企業(yè)界的600余名專家學(xué)者、論文作者和企業(yè)界同仁參加,與會嘉賓在會上分享和探討了容錯(cuò)計(jì)算領(lǐng)域的前沿話題和最新研究成果。
上海交通大學(xué)過敏意教授、中科院計(jì)算所韓銀和研究員擔(dān)任大會主席;湖南大學(xué)張吉良教授、上??萍即髮W(xué)哈亞軍教授、南京大學(xué)葉保留教授擔(dān)任程序委員會主席;河海大學(xué)曹元教授、湖南大學(xué)洪慶輝副教授、中科院計(jì)算所/之江實(shí)驗(yàn)室王郁杰副研究員擔(dān)任組委會主席;哈爾濱理工大學(xué)黃海教授、合肥工業(yè)大學(xué)閆愛斌教授、東南大學(xué)李必信教授擔(dān)任宣傳主席。會議得到了承辦單位及協(xié)辦單位的大力支持。本次大會注冊人數(shù)高達(dá)580多人,實(shí)際參會人數(shù)超過600人,投稿數(shù)104篇,參會人數(shù)和投稿量創(chuàng)專委學(xué)術(shù)會議歷史新高,是本專委會歷史上參會人數(shù)最多、舉辦規(guī)模最大的一次!會議得到了華為技術(shù)有限公司、上海創(chuàng)景信息科技有限公司、凱云聯(lián)創(chuàng)(北京)科技有限公司等11家企業(yè)的鼎力支持。
大會主會場
專委會主任韓銀和研究員致辭
南京大學(xué)葉保留教授致辭
清華大學(xué)楊士元教授致辭
上??萍即髮W(xué)哈亞軍教授介紹會議程序
開幕式頒發(fā)了CCF集成電路Early Career Award,由Duke大學(xué)陳怡然教授擔(dān)任主席的評選委員會經(jīng)過評選,北京大學(xué)的林亦波助理教授獲得了本年度的CCF集成電路Early Career Award;陸軍工程大學(xué)黃松教授主持頒發(fā)了容錯(cuò)專委軟件測試青年創(chuàng)新獎,上海航天軟件測試中心主任、高級工程師于清華女士獲得了本年度的軟件測試青年創(chuàng)新獎。
Duke大學(xué)陳怡然教授宣布CCF集成電路Early Career Award
北京大學(xué)林亦波獲CCF集成電路Early Career Award
陸軍工程大學(xué)黃松教授主持頒發(fā)軟件測試青年創(chuàng)新獎
上海航天軟件測試中心主任、高級工程師于清華女士獲軟件測試青年創(chuàng)新獎
小到芯片、計(jì)算機(jī),大到航空航天、國防利器,錯(cuò)誤是客觀存在的,而確保系統(tǒng)可靠運(yùn)行的關(guān)鍵是容錯(cuò)技術(shù)。因此,容錯(cuò)是任何一個(gè)系統(tǒng)運(yùn)行的基石,決定了各行各業(yè)系統(tǒng)的穩(wěn)定運(yùn)行,不受限于科學(xué)研究趨勢的冷熱程度。本次大會主題:“無問冷熱,容錯(cuò)為基!”,將通過高質(zhì)量的主旨演講、論壇特邀報(bào)告、學(xué)術(shù)論文報(bào)告等形式,就容錯(cuò)計(jì)算的最新研究進(jìn)展和發(fā)展趨勢進(jìn)行學(xué)術(shù)交流。
7月29日上午,大會邀請3位專家作主旨報(bào)告,分別是:中國航天科技集團(tuán)有限公司第九研究院科技委副主任趙元富作了題為“航天集成電路技術(shù)發(fā)展”的特邀報(bào)告;北京大學(xué)的金芝教授作了題為“軟件系統(tǒng)的自適應(yīng)性和系統(tǒng)可靠性”的特邀報(bào)告;美國馬里蘭大學(xué)屈鋼教授作了題為“錯(cuò),錯(cuò),錯(cuò)!--從容錯(cuò)計(jì)算到近似計(jì)算和錯(cuò)誤注入攻擊”的主旨報(bào)告。隨后,大會的圓桌論壇由清華大學(xué)劉雷波教授、中國科學(xué)院信工所侯銳研究員、中國科學(xué)技術(shù)大學(xué)林璟鏘教授、華為可信計(jì)算首席科學(xué)家金意兒教授、螞蟻集團(tuán)閆守孟研究員、南方科技大學(xué)張峰巍副教授,就機(jī)密計(jì)算問題進(jìn)行了討論,就機(jī)密計(jì)算的前沿趨勢、產(chǎn)業(yè)界和學(xué)術(shù)界的發(fā)展進(jìn)行了深刻的探討。上午的報(bào)告由韓銀和研究員和張吉良教授主持。
中國航天科技集團(tuán)有限公司第九研究院科技委副主任趙元富-“航天集成電路技術(shù)發(fā)展”
北京大學(xué)金芝教授-“軟件系統(tǒng)的自適應(yīng)性和系統(tǒng)可靠性”
美國馬里蘭大學(xué)屈鋼教授-“錯(cuò),錯(cuò),錯(cuò)!--從容錯(cuò)計(jì)算到近似計(jì)算和錯(cuò)誤注入攻擊”
圓桌會議-“機(jī)密計(jì)算”
7月29日下午,分會場共設(shè)置了《商業(yè)航天計(jì)算容錯(cuò)論壇》、《第八屆全國硬件安全論壇》、《芯粒設(shè)計(jì)與測試論壇》、《第七屆安全關(guān)鍵軟件測試論壇》、《學(xué)術(shù)新星論壇》5個(gè)前沿技術(shù)論壇和《集成電路與軟件測試》、《硬件安全》2個(gè)論文分組報(bào)告,共邀請了50余位科研和技術(shù)一線專家到會特邀報(bào)告。
大會頒發(fā)了最佳論文獎,評審委員會由上海科技大學(xué)教授、TCAS-II總主編哈亞軍擔(dān)任主席,成員包括北京航空航天大學(xué)教授關(guān)振宇(青年長江學(xué)者)、電子科技大學(xué)教授周軍(國家級青年人才)、中科院計(jì)算所副研究員陳曉明(國家優(yōu)秀青年基金獲得者)、西北工業(yè)大學(xué)教授胡偉(國家級人才獲得者)。經(jīng)過評審寧波大學(xué)倪力、安徽大學(xué)宋鈦、西安交通大學(xué)班成及論文合作作者獲得大會最佳論文獎。
寧波大學(xué)獲獎?wù)?/p>
安徽大學(xué)獲獎?wù)?/p>
西安交通大學(xué)獲獎?wù)?/p>
大會頒發(fā)了杰出服務(wù)獎,表彰中山大學(xué)副教授馮浪、湖南大學(xué)副教授洪慶輝、上海電力大學(xué)副教授王真在會議組織中的貢獻(xiàn)。
中山大學(xué)副教授馮浪、湖南大學(xué)副教授洪慶輝、上海電力大學(xué)副教授王真-杰出服務(wù)獎
7月30日上午,大會邀請6位專家作主旨報(bào)告,分別是:上海交通大學(xué)教授、歐洲科學(xué)院外籍院士過敏意作了題為“面向人工智能芯片的編譯新技術(shù)”的特邀報(bào)告;昆山杜克大學(xué)協(xié)理副校長、IEEE Fellow李昕作了題為“Robust Wafer Classification with Imperfectly Labeled Data”的特邀報(bào)告;中科院計(jì)算所研究員、中國計(jì)算機(jī)學(xué)會會士李華偉作了題為“多核算力芯片的片上容錯(cuò)架構(gòu)”的特邀報(bào)告;華為分布式存儲首席架構(gòu)師何益作了題為“華為數(shù)據(jù)存儲系統(tǒng)的可信設(shè)計(jì)與實(shí)踐”的特邀報(bào)告;上海創(chuàng)景信息科技有限公司總經(jīng)理張志強(qiáng)作了題為“可信系統(tǒng)軟件混合開發(fā)模型”的特邀報(bào)告;凱云聯(lián)創(chuàng) (北京) 科技有限公司技術(shù)部負(fù)責(zé)人單曉亮作了題為“國產(chǎn)半實(shí)物仿真測試開發(fā)環(huán)境ETest及大學(xué)計(jì)劃”的特邀報(bào)告。上午的報(bào)告由葉保留教授和哈亞軍教授主持。
上海交通大學(xué)教授、歐洲科學(xué)院外籍院士過敏意-“面向人工智能芯片的編譯新技術(shù)”
昆山杜克大學(xué)協(xié)理副校長、IEEE Fellow李昕-“Robust Wafer Classification with Imperfectly Labeled Data”
中科院計(jì)算所研究員、中國計(jì)算機(jī)學(xué)會會士李華偉-“多核算力芯片的片上容錯(cuò)架構(gòu)”
華為分布式存儲首席架構(gòu)師何益-“華為數(shù)據(jù)存儲系統(tǒng)的可信設(shè)計(jì)與實(shí)踐”
上海創(chuàng)景信息科技有限公司總經(jīng)理張志強(qiáng)-“可信系統(tǒng)軟件混合開發(fā)模型”
凱云聯(lián)創(chuàng) (北京) 科技有限公司技術(shù)部負(fù)責(zé)人單曉亮-“國產(chǎn)半實(shí)物仿真測試開發(fā)環(huán)境ETest及大學(xué)計(jì)劃”
7月30日下午,分會場共設(shè)置了《智能系統(tǒng)可靠論壇》、《第八屆全國硬件安全論壇2》、《第七屆安全關(guān)鍵軟件測試論壇2》、《可信賴人工智能論壇》、《存內(nèi)/類腦計(jì)算論壇》5個(gè)前沿技術(shù)論壇和《容錯(cuò)計(jì)算》、《集成電路設(shè)計(jì)與EDA》2個(gè)論文分組報(bào)告,共邀請了50余位科研和技術(shù)一線專家到會特邀報(bào)告。
此次中國計(jì)算機(jī)學(xué)會2023年全國容錯(cuò)計(jì)算學(xué)術(shù)會議活動的成功舉辦,活躍了行業(yè)的學(xué)術(shù)氣氛,持續(xù)調(diào)動了科技工作者的創(chuàng)新研發(fā)巨大熱情,對科技工作者的科研能力提升和計(jì)算機(jī)學(xué)會容錯(cuò)專委會的可持續(xù)發(fā)展有著深遠(yuǎn)的意義。
我們相信,CCF容錯(cuò)計(jì)算專業(yè)委員會定會以此次交流會為契機(jī),昂揚(yáng)斗志,奮發(fā)有為,為科技產(chǎn)業(yè)高質(zhì)量發(fā)展貢獻(xiàn)新的更大力量,CCF容錯(cuò)計(jì)算專委會同計(jì)算機(jī)學(xué)會共同努力,勠力同心,必將塑造學(xué)會更加輝煌的明天!