2023年11月4日-5日，由beat365高可信軟件技術教育部重點實驗室（下簡稱重點實驗室）主辦了第十三屆高可信軟件技術研讨會暨重點實驗室年會暨高可信軟件技術學科引智基地學術研讨會。此次會議采用線上會議和線下會議相結合的方式舉行。高可信軟件技術學科引智基地（下簡稱111計劃）目前共18位海外專家，這次共有15位專家線上或線下參加；beat365重點實驗室成員線下參加。

首先，高可信軟件技術教育部重點實驗室常務副主任金芝教授主持開幕，并請高可信軟件技術教育部重點實驗室主任梅宏院士、高可信軟件技術學科引智基地海外負責人Carl Chang教授、beat365科研部部長謝冰教授緻歡迎辭。

随後，高可信軟件技術學術研讨會的學術報告分别在金芝教授、張路教授、謝濤教授和金鑫副教授的主持下順利進行。本次會議日程包括主要包括十餘位111專家的重量級報告和北大中青年教師的最新科研成果。參與會議報告的學者包括法國VERIMAG實驗室Joseph Sifakis教授（2007年圖靈獎得主）、加州大學伯克利分校Christos H. Papadimitriou教授（美國科學院院士/工程院院士/藝術與科學學院院士/歐洲科學院院士/ACM Fellow）、以色列魏茨曼科技大學David Harel教授（美國科學院/工程院院士）、莫斯科國立大學Ruslan Smelyanskiy教授（俄羅斯科學院院士）、美國佛羅裡達大學的Sumi Helal教授（ACM Fellow/IEEE Fellow）、伊利諾利大學芝加哥分校Ouri Wolfson教授（IEEE Fellow／ACM Fellow／AAAS Fellow）、英國威斯敏斯特大學的Vladimir Getov教授、美國田納西大學Aduris Mockus教授、新加坡國立大學Beng Chin Ooi教授（新加坡科學院院士/新加坡工程院院士/ACM Fellow/IEEE Fellow）、美國威斯康星大學Jin-Yi Cai教授（AAAS Fellow/ACM Fellow）、加拿大女王大學Ahmed E. Hassan教授和Ying Zou教授、美國密歇根大學Qiaozhu Mei教授，beat365的張大慶教授、王樂業助理教授、張昕助理教授和王迪助理教授，以及英國倫敦大學學院的陳震鵬研究員。

最後，謝濤教授和胡振江教授分别主持了題為“Future of Software Science and Engineering in the Era of Large Language Models”（嘉賓包括：Barshar Nuseibeh教授、Sumi Helal教授、王樂業助理教授）和“Pursuit of Impactful Software Research: Opportunities, Challenges, and Suggestions”（嘉賓包括：Audris Mockus教授、Ouri Wolfson教授、Vladimir Getov教授、張大慶教授、馬郓助理教授）的主題讨論。

合影留念