2024年10月28日至29日，第十四届高可信软件技术研讨会暨111计划年会在北京大学勺园弘雅厅成功举办。本次会议由北京大学高可信软件技术教育部重点实验室主办，采用线上线下相结合的方式进行。

会议于10月28日上午9点正式开幕，由高可信软件技术教育部重点实验室常务副主任金芝教授主持。开幕式上，高可信软件技术教育部重点实验室主任梅宏院士、111计划海外负责人Carl Chang教授和北京大学科学研究部部长谢冰教授分别致欢迎辞。梅宏院士特别提到了在AI时代智能化软件面临的新挑战和新机遇，期望本次研讨会可以激发参会者们对于智能化软件的进一步深入思考。

随后，高可信软件技术学术研讨会的学术报告分别在金芝教授、李戈教授、张路教授、王迪助理教授和Sergey Mechtaev助理教授的主持下进行。学术报告环节包括了十余位111专家的重量级报告和北大中青年教师的最新科研成果。

第一天报告环节中，首先由中国科学院外籍院士、新加坡国立大学Beng Chin OOI教授介绍了AI驱动数据库管理系统的设计与实现。而后，北京大学Sergey Mechtaev助理教授分享了基于Datalog定义的程序分析及程序修复方法。英国牛津大学Jeremy Gibbons教授在报告中以“卧虎藏龙”为引子，探讨和分享了程序算法的历史发展。美国弗罗里达大学Sumi Helal教授的报告探讨了学术界在AI革命中的新兴角色。美国加州大学伯克利分校Christos H. Papadimitriou教授分享了计算理论中的博弈论相关研究。英国开放大学Bashar Nuseibeh教授分享了需求工程在最新AI时代的发展前沿。以色列魏茨曼科技大学David Harel教授的报告介绍了一个用于分析语音数据中非自然语言信息的新型框架。美国伊利诺利大学芝加哥分校Ouri Wolfson教授探讨了以ChatGPT为代表的语言大模型是否存在意识这一热点话题。北京大学谢涛教授介绍了RISC-V+AI的系统软件栈开发项目。英国威斯敏斯特大学Vladimir Getov教授分享了针对应用的性能建模和评估工具。北京大学马连韬研究员介绍了构建可信的临床预测框架。台湾国立中央大学Kun-Yu Lin研究员分享了基于博弈论的移动群体感知技术。第二天会议继续进行，美国威斯康星大学Jin-Yi Cai教授探讨了量子计算中的噪声阈值这一前沿问题。维也纳技术大学Schahram Dustdar教授分享了分布式智能系统的高效推理方案。北京大学李锭助理教授和张昕助理教授随后分别分享了各自在软件攻防和贝叶斯程序分析方面的成果。

最后，谢涛教授主持了题为“How to establish international influence of research and education on software science and engineering?”和“‘What to solve’ and ‘how to solve’ in research on software science and engineering in the age of Generative AI?”的主题讨论，嘉宾包括Vladimir Getov教授，Bashar Nuseibeh教授，Ouri Wolfson教授，Jeremy Gibbons教授，Sergey Mechtaev助理教授，李锭助理教授和王迪助理教授。各位嘉宾对相关议题均给出了自己的真知灼见，并与台下听众进行了热烈的互动。