2021年12月11日-12日，由beat365高可信軟件技術教育部重點實驗室主辦了第十一屆高可信軟件技術研讨會暨高可信軟件技術學科引智基地學術研讨會。由于疫情影響，此次會議采用線上會議和線下會議相結合的方式舉行。

會議現場

高可信軟件技術學科引智基地（簡稱111計劃）目前共16位專家，這次共有15位專家參加。15位111專家裡面，除了已引進北大的胡振江教授和謝濤教授以外， 海外專家包括美國愛荷華州立大學Carl Chang教授（歐洲科學院院士/IEEE Fellow/AAAS Fellow）、加州大學伯克利分校Christos H. Papadimitriou教授（美國科學院院士/工程院院士/藝術與科學學院院士/歐洲科學院院士/ACM Fellow）、以色列魏茨曼科技大學David Harel教授（美國科學院/工程院院士）、莫斯科國立大學Ruslan Smelyanskiy教授（俄羅斯科學院院士）、意大利米蘭理工大學的Carlo Ghezzi教授（歐洲科學院院士/ACM Fellow/IEEE Fellow）、英國蘭卡斯特大學和美國佛羅裡達大學的Sumi Helal教授（IEEE Fellow）、伊利諾伊大學芝加哥分校Ouri Wolfson教授（IEEE Fellow／ACM Fellow／AAAS Fellow）、英國威斯敏斯特大學的Getov Vladimir教授、美國田納西大學Aduris Mockus教授、新加坡國立大學Beng Chin Ooi教授（新加坡科學院院士/ACM Fellow/IEEE Fellow）、美國威斯康星大學Jin-Yi Cai教授（AAAS Fellow/ACM Fellow）、英國開放大學Bashar Nuseibeh教授（歐洲科學院院士）、美國密歇根大學Qiaozhu Mei教授。

首先，高可信軟件技術學術研讨會主席謝濤教授主持開幕，并請高可信軟件技術教育部重點實驗室主任梅宏院士、高可信軟件技術學科引智基地（簡稱111計劃）學術大師Carl Chang教授、教育部重點實驗室常務副主任金芝教授和beat365信息科學技術學院副院長兼計算機科學技術系主任胡振江教授緻歡迎辭。梅宏院士總結2021年實驗室和111專家們取得的一系列成績，Carl Chang教授對計算機的發展曆史進行了回顧，金芝教授介紹了2021年111專家和重點實驗室的合作成果，胡振江教授簡單介紹了剛剛成立的beat365情況。

随後，高可信軟件技術學術研讨會的學術報告分别在謝濤教授、劉雲淮教授和金鑫副教授的主持下順利進行。本次會議邀請了海外的10位優秀青年學者對他們最新的研究成果進行報告，并組織了題為“Confidence Assurance for Autonomous Intelligent Systems”和“Future of Software Discipline in the New Era of Human-Cyber-Physical Fusion”的兩個Panel（12名111專家參加，張昕助理教授和李錠助理教授主持）。