CCF第二十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議 （CCF CFTC 2023）盛大召開！無問冷熱，容錯(cuò)為基！

2023年7月29日，由中國計(jì)算機(jī)學(xué)會(huì)（CCF）主辦，CCF容錯(cuò)計(jì)算專業(yè)委員會(huì)和南京大學(xué)聯(lián)合承辦的“第二十屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議（CCF CFTC 2023）”在江蘇省常州市中吳賓館成功召開。來自全國高校、研究所以及企業(yè)界的600余名專家學(xué)者、論文作者和企業(yè)界同仁參加，與會(huì)嘉賓在會(huì)上分享和探討了容錯(cuò)計(jì)算領(lǐng)域的前沿話題和最新研究成果。

上海交通大學(xué)過敏意教授、中科院計(jì)算所韓銀和研究員擔(dān)任大會(huì)主席；湖南大學(xué)張吉良教授、上?？萍即髮W(xué)哈亞軍教授、南京大學(xué)葉保留教授擔(dān)任程序委員會(huì)主席；河海大學(xué)曹元教授、湖南大學(xué)洪慶輝副教授、中科院計(jì)算所/之江實(shí)驗(yàn)室王郁杰副研究員擔(dān)任組委會(huì)主席；哈爾濱理工大學(xué)黃海教授、合肥工業(yè)大學(xué)閆愛斌教授、東南大學(xué)李必信教授擔(dān)任宣傳主席。會(huì)議得到了承辦單位及協(xié)辦單位的大力支持。本次大會(huì)注冊人數(shù)高達(dá)580多人，實(shí)際參會(huì)人數(shù)超過600人，投稿數(shù)104篇，參會(huì)人數(shù)和投稿量創(chuàng)專委學(xué)術(shù)會(huì)議歷史新高，是本專委會(huì)歷史上參會(huì)人數(shù)最多、舉辦規(guī)模最大的一次！會(huì)議得到了華為技術(shù)有限公司、上海創(chuàng)景信息科技有限公司、凱云聯(lián)創(chuàng)（北京）科技有限公司等11家企業(yè)的鼎力支持。

大會(huì)主會(huì)場

專委會(huì)主任韓銀和研究員致辭

南京大學(xué)葉保留教授致辭

清華大學(xué)楊士元教授致辭

上?？萍即髮W(xué)哈亞軍教授介紹會(huì)議程序

開幕式頒發(fā)了CCF集成電路Early Career Award，由Duke大學(xué)陳怡然教授擔(dān)任主席的評選委員會(huì)經(jīng)過評選，北京大學(xué)的林亦波助理教授獲得了本年度的CCF集成電路Early Career Award；陸軍工程大學(xué)黃松教授主持頒發(fā)了容錯(cuò)專委軟件測試青年創(chuàng)新獎(jiǎng)，上海航天軟件測試中心主任、高級工程師于清華女士獲得了本年度的軟件測試青年創(chuàng)新獎(jiǎng)。

Duke大學(xué)陳怡然教授宣布CCF集成電路Early Career Award

北京大學(xué)林亦波獲CCF集成電路Early Career Award

陸軍工程大學(xué)黃松教授主持頒發(fā)軟件測試青年創(chuàng)新獎(jiǎng)

上海航天軟件測試中心主任、高級工程師于清華女士獲軟件測試青年創(chuàng)新獎(jiǎ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é)研究趨勢的冷熱程度。本次大會(huì)主題：“無問冷熱，容錯(cuò)為基！”，將通過高質(zhì)量的主旨演講、論壇特邀報(bào)告、學(xué)術(shù)論文報(bào)告等形式，就容錯(cuò)計(jì)算的最新研究進(jìn)展和發(fā)展趨勢進(jìn)行學(xué)術(shù)交流。

7月29日上午，大會(huì)邀請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)告。隨后，大會(huì)的圓桌論壇由清華大學(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ò)誤注入攻擊”

圓桌會(huì)議-“機(jī)密計(jì)算”

7月29日下午，分會(huì)場共設(shè)置了《商業(yè)航天計(jì)算容錯(cuò)論壇》、《第八屆全國硬件安全論壇》、《芯粒設(shè)計(jì)與測試論壇》、《第七屆安全關(guān)鍵軟件測試論壇》、《學(xué)術(shù)新星論壇》5個(gè)前沿技術(shù)論壇和《集成電路與軟件測試》、《硬件安全》2個(gè)論文分組報(bào)告，共邀請了50余位科研和技術(shù)一線專家到會(huì)特邀報(bào)告。

大會(huì)頒發(fā)了最佳論文獎(jiǎng)，評審委員會(huì)由上?？萍即髮W(xué)教授、TCAS-II總主編哈亞軍擔(dān)任主席，成員包括北京航空航天大學(xué)教授關(guān)振宇（青年長江學(xué)者）、電子科技大學(xué)教授周軍（國家級青年人才）、中科院計(jì)算所副研究員陳曉明（國家優(yōu)秀青年基金獲得者）、西北工業(yè)大學(xué)教授胡偉（國家級人才獲得者）。經(jīng)過評審寧波大學(xué)倪力、安徽大學(xué)宋鈦、西安交通大學(xué)班成及論文合作作者獲得大會(huì)最佳論文獎(jiǎng)。

寧波大學(xué)獲獎(jiǎng)?wù)?/p>

安徽大學(xué)獲獎(jiǎng)?wù)?/p>

西安交通大學(xué)獲獎(jiǎng)?wù)?/p>

大會(huì)頒發(fā)了杰出服務(wù)獎(jiǎng)，表彰中山大學(xué)副教授馮浪、湖南大學(xué)副教授洪慶輝、上海電力大學(xué)副教授王真在會(huì)議組織中的貢獻(xiàn)。

中山大學(xué)副教授馮浪、湖南大學(xué)副教授洪慶輝、上海電力大學(xué)副教授王真-杰出服務(wù)獎(jiǎng)

7月30日上午，大會(huì)邀請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é)會(huì)會(huì)士李華偉作了題為“多核算力芯片的片上容錯(cuò)架構(gòu)”的特邀報(bào)告；華為分布式存儲(chǔ)首席架構(gòu)師何益作了題為“華為數(shù)據(jù)存儲(chǔ)系統(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é)會(huì)會(huì)士李華偉-“多核算力芯片的片上容錯(cuò)架構(gòu)”

華為分布式存儲(chǔ)首席架構(gòu)師何益-“華為數(shù)據(jù)存儲(chǔ)系統(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日下午，分會(huì)場共設(shè)置了《智能系統(tǒng)可靠論壇》、《第八屆全國硬件安全論壇2》、《第七屆安全關(guān)鍵軟件測試論壇2》、《可信賴人工智能論壇》、《存內(nèi)/類腦計(jì)算論壇》5個(gè)前沿技術(shù)論壇和《容錯(cuò)計(jì)算》、《集成電路設(shè)計(jì)與EDA》2個(gè)論文分組報(bào)告，共邀請了50余位科研和技術(shù)一線專家到會(huì)特邀報(bào)告。

此次中國計(jì)算機(jī)學(xué)會(huì)2023年全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議活動(dòng)的成功舉辦，活躍了行業(yè)的學(xué)術(shù)氣氛，持續(xù)調(diào)動(dòng)了科技工作者的創(chuàng)新研發(fā)巨大熱情，對科技工作者的科研能力提升和計(jì)算機(jī)學(xué)會(huì)容錯(cuò)專委會(huì)的可持續(xù)發(fā)展有著深遠(yuǎn)的意義。

我們相信，CCF容錯(cuò)計(jì)算專業(yè)委員會(huì)定會(huì)以此次交流會(huì)為契機(jī)，昂揚(yáng)斗志，奮發(fā)有為，為科技產(chǎn)業(yè)高質(zhì)量發(fā)展貢獻(xiàn)新的更大力量，CCF容錯(cuò)計(jì)算專委會(huì)同計(jì)算機(jī)學(xué)會(huì)共同努力，勠力同心，必將塑造學(xué)會(huì)更加輝煌的明天！