2023年11月4日-5日，由北京大学高可信软件技术教育部重点实验室（下简称重点实验室）主办了第十三届高可信软件技术研讨会暨重点实验室年会暨高可信软件技术学科引智基地学术研讨会。此次会议采用线上会议和线下会议相结合的方式举行。高可信软件技术学科引智基地（下简称111计划）目前共18位海外专家，这次共有15位专家线上或线下参加；北京大学重点实验室成员线下参加。

首先，高可信软件技术教育部重点实验室常务副主任金芝教授主持开幕，并请高可信软件技术教育部重点实验室主任梅宏院士、高可信软件技术学科引智基地海外负责人Carl Chang教授、北京大学科研部部长谢冰教授致欢迎辞。

随后，高可信软件技术学术研讨会的学术报告分别在金芝教授、张路教授、谢涛教授和金鑫副教授的主持下顺利进行。本次会议日程包括主要包括十余位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教授，北京大学的张大庆教授、王乐业助理教授、张昕助理教授和王迪助理教授，以及英国伦敦大学学院的陈震鹏研究员。

最后，谢涛教授和胡振江教授分别主持了题为“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教授、张大庆教授、马郓助理教授）的主题讨论。

合影留念