清華新聞網(wǎng)12月7日電 由清華大學(xué)承辦、中國(guó)計(jì)算機(jī)學(xué)會(huì)CCF系統(tǒng)軟件專(zhuān)委會(huì)協(xié)辦的第27屆IEEE可信計(jì)算環(huán)太平洋國(guó)際研討會(huì)(IEEE Pacific Rim International Symposium on Dependable Computing,PRDC)于11月28日至12月1日在線(xiàn)舉行。
本次大會(huì)的兩位榮譽(yù)主席是北京大學(xué)教授金芝和清華大學(xué)教授徐明偉。金芝現(xiàn)任高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室(北京大學(xué))副主任,中國(guó)計(jì)算機(jī)學(xué)會(huì)系統(tǒng)軟件專(zhuān)委會(huì)主任,是IEEE會(huì)士;徐明偉現(xiàn)任清華大學(xué)網(wǎng)絡(luò)科學(xué)與網(wǎng)絡(luò)空間研究院副院長(zhǎng)。大會(huì)主席為清華大學(xué)副教授王龍,他是美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)與IEEE的高級(jí)會(huì)員,中國(guó)計(jì)算機(jī)學(xué)會(huì)系統(tǒng)軟件專(zhuān)委會(huì)委員,曾任IBM沃森研究院高級(jí)研究員。美國(guó)馬薩諸塞大學(xué)達(dá)特茅斯分校教授蘭斯·菲奧德拉(Lance Fiondella)和華東師范大學(xué)教授蘇亭(中國(guó)計(jì)算機(jī)學(xué)會(huì)軟件工程專(zhuān)委會(huì)執(zhí)行委員)擔(dān)任程序委員會(huì)共同主席。

大會(huì)榮譽(yù)主席金芝

大會(huì)榮譽(yù)主席徐明偉
大會(huì)邀請(qǐng)到美國(guó)杜克大學(xué)教授基紹爾·特立維迪(Kishor S. Trivedi)、沙特阿拉伯阿卜杜拉國(guó)王科技大學(xué)教授保羅·維里西莫(Paulo E.Verissimo)、瑞士蘇黎世聯(lián)邦理工學(xué)院教授蘇振東(Zhendong Su)和北京大學(xué)教授謝濤分別作主題報(bào)告,和與會(huì)者分享了近年來(lái)在軟件容錯(cuò)、網(wǎng)絡(luò)空間彈性、軟件工程和人工智能在軟件可信領(lǐng)域的應(yīng)用等方向的新視角與再思考,讓廣大參會(huì)者獲益良多。

基紹爾·特立維迪(Kishor S. Trivedi)作主題報(bào)告

保羅·維里西莫(Paulo E.Verissimo)作主題報(bào)告

蘇振東(Zhendong Su)作主題報(bào)告

謝濤作主題報(bào)告
會(huì)議收到來(lái)自中國(guó)、美國(guó)、葡萄牙、英國(guó)等30多個(gè)國(guó)家和地區(qū)的論文投稿。經(jīng)過(guò)利益沖突回避、雙盲評(píng)審、評(píng)分篩選和參會(huì)者投票,大會(huì)評(píng)出了最佳論文、最佳學(xué)生論文和最佳工業(yè)論文等獎(jiǎng)項(xiàng),并為獲獎(jiǎng)?wù)哳C發(fā)獎(jiǎng)狀。

清華大學(xué)王龍教授團(tuán)隊(duì)的論文獲最佳論文獎(jiǎng)

復(fù)旦大學(xué)徐輝教授團(tuán)隊(duì)的論文獲最佳學(xué)生論文獎(jiǎng)

西班牙安德烈斯貝洛大學(xué)的喬瓦尼·賈凱蒂(Giovanni Giachetti)教授團(tuán)隊(duì)與企業(yè)的合作論文獲最佳工業(yè)論文獎(jiǎng)
PRDC會(huì)議專(zhuān)注于可信軟件與系統(tǒng),涵蓋基礎(chǔ)理論、經(jīng)驗(yàn)研究和工業(yè)實(shí)踐在內(nèi)等多方面的相關(guān)研究工作。自首屆會(huì)議于1989年召開(kāi)以來(lái),PRDC迄今已舉辦27屆,成為環(huán)太平洋區(qū)域可信與容錯(cuò)計(jì)算的最主要學(xué)術(shù)會(huì)議。隨著計(jì)算系統(tǒng)與應(yīng)用日益滲透到日常生活的方方面面,計(jì)算系統(tǒng)的可信性變得越來(lái)越重要。PRDC會(huì)議為環(huán)太平洋地區(qū)和世界其他地區(qū)的專(zhuān)家學(xué)者提供了一個(gè)為提高計(jì)算系統(tǒng)可信性、可靠性和安全性而充分交流的平臺(tái)。
本次大會(huì)包括研究、工業(yè)和快速摘要三個(gè)賽道,不僅吸引了學(xué)術(shù)界教授學(xué)者的積極投稿與參與,還吸引了Google、IBM、華為、阿里巴巴、騰訊、字節(jié)跳動(dòng)等企業(yè)專(zhuān)家以及法國(guó)替代能源和原子能委員會(huì)(CEA)與日本國(guó)立情報(bào)學(xué)研究所等政府機(jī)構(gòu)專(zhuān)家的投稿與參與。
供稿:信息化技術(shù)中心
編輯:李華山
審核:郭玲