From December 11 to 12, 2021, the 11th High-Confidence Software Technology Symposium and the Academic Seminar of the Introduction Base of High-Confidence Software Technology Discipline hosted by the Key Laboratory of High Confidence Software Technology of the Ministry of Education of Peking University. Due to the impact of the pandemic, this conference was held in a combination of online and offline meetings.

The High Credibility Software Technology Discipline Intelligence Base (referred to as the 111 Project) currently has a total of 16 experts, and a total of 15 experts participated this time. Among the 15 111 experts, in addition to Professor Hu Zhenjiang and Professor Xie Tao who have been introduced from Peking University, overseas experts include Professor Carl Chang of Iowa State University (Academician of the European Academy of Sciences/IEEE Fellow/AAAS Fellow), Professor Christos H. Papadimitriou of the University of California, Berkeley (Academician of the National Academy of Sciences/Academician of the Academy of Engineering/Academician of the Academy of Arts and Sciences/Academician of the European Academy of Sciences/ACM). Fellow), Professor David Harel (Member of the American Academy of Sciences/Academy of Engineering) of Weizmann University of Science and Technology, Israel, Professor Ruslan Smelyanskiy of Moscow State University (Member of the Russian Academy of Sciences), Professor Carlo Ghezzi of Politecnico di Milano (Member of the European Academy of Sciences/ACM Fellow/IEEE Fellow), Sumi of Lancaster University in the United Kingdom and the University of Florida Professor Helal (IEEE Fellow), Professor Ouri Wolfson (IEEE Fellow/ACM Fellow/AAAS Fellow) at the University of Illinois Chicago, Professor Getov Vladimir of the University of Westminster, Professor Aduris Mockus of the University of Tennessee, Professor Beng Chin Ooi of the National University of Singapore (Fellow of the Singapore Academy of Sciences/ACM Fellow/ IEEE Fellow), Professor Jin-Yi Cai (AAAS Fellow/ACM Fellow) at the University of Wisconsin, Professor Bashar Nuseibeh (Member of the European Academy of Sciences) of the Open University, and Professor Qiaozhu Mei of the University of Michigan.

First of all, Professor Xie Tao, Chairman of the High Confidence Software Technology Symposium, presided over the opening session, and invited Academician Mei Hong, Director of the Key Laboratory of High Confidence Software Technology of the Ministry of Education, Professor Carl Chang, academic master of the High Confidence Software Technology Discipline Introduction Base (referred to as the 111 Program), Professor Jin Zhi, Executive Deputy Director of the Key Laboratory of the Ministry of Education, and Professor Hu Zhenjiang, Deputy Dean of the School of Information Science and Technology and Head of the Department of Computer Science and Technology, Peking University, to deliver welcome speeches. Academician Mei Hong summarized a series of achievements made by the laboratory and 111 experts in 2021, Professor Carl Chang reviewed the development history of computers, Professor Jin Zhi introduced the cooperation results between 111 experts and key laboratories in 2021, and Professor Hu Zhenjiang briefly introduced the newly established School of Computer Science.

Subsequently, the academic reports of the symposium on high-trust software technology were successfully conducted under the chairmanship of Professor Xie Tao, Professor Liu Yunhuai and Associate Professor Jin Xin. The conference invited 10 outstanding young scholars from overseas to report on their latest research results, and organized the titles of "Confidence Assurance for Autonomous Intelligent Systems" and "Future of Software Discipline in the New Era of Human-Cyber-Physical Fusion" Two Panels (12 111 experts participated, chaired by Assistant Professor Zhang Xin and Assistant Professor Li Ding).