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

高可信軟件技術學科引智基地（簡稱111計劃）目前共17位專家，這次有16位專家參加并分别做了非常精彩的報告。16位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教授、日本南山大學的Mikio Aoyama教授、新加坡國立大學Beng Chin Ooi教授（新加坡科學院院士/ACM Fellow/IEEE Fellow）、美國威斯康星大學Jin-Yi Cai教授（AAAS Fellow/ACM Fellow）、美國密歇根大學Qiaozhu Mei教授。

首先，高可信軟件技術教育部重點實驗室常務副主任金芝教授主持開幕，并請高可信軟件技術教育部重點實驗室主任梅宏院士、高可信軟件技術學科引智基地（簡稱111計劃）學術大師Carl Chang教授、高可信軟件技術學科引智基地中方負責人謝冰教授緻歡迎辭。梅宏院士總結2020年111計劃取得的一系列成績，感謝衆多海外專家過去的付出，展望未來提出三點期望。張可昭教授回顧了2020年和基地共同舉辦的國際服務大會等重要成績。謝冰教授向外國專家介紹了2020年重點實驗室新引進的三位成員。

随後，高可信軟件技術學術研讨會的學術報告分别在胡振江教授、張路教授、謝濤教授和張大慶教授等的主持下順利進行，包括與會的這13位國外專家的學術報告和3位北大學者的報告。除此之外，在會議期間，海内外學者就Software  Automation這個題目發表了看法，并進行了熱烈的讨論。