［本站讯］7月31日至8月2日，第九届难解问题的理论、算法与应用研讨会（Workshop on Hard Computational Problems: Theories, Algorithms and Applications，HCP 2026）在山东大学青岛校区举行。中国科学院院士、密码与数字经济安全全国重点实验室主任王小云，中国科学院院士戴彧虹，山东大学副校长、青岛校区校长王美琴出席会议。

王小云表示，希望各方主动对接国家重大战略需求，聚焦高端工业软件、人工智能、网络空间安全、数字经济等领域的复杂计算难题，从现实需求中凝练基础科学问题，强化协同攻关，以理论创新带动关键技术突破。

王美琴表示，要加强难题问题研究，突破问题表示、理论分析和算法求解中的关键瓶颈，期待各方以会议为契机深化产学研交流合作，推动研究成果转化为解决实际问题的有效工具。

HCP发起人、中国科学院软件研究所研究员蔡少伟回顾了会议自2017年创办以来的发展历程，希望会议凝聚多方合力，携手促进多学科交叉以及理论与实践融合。

会议共设置4场主旨报告和12场专题报告。戴彧虹院士、北京大学计算机学院詹乃军教授、中国科学院计算技术研究所孙晓明研究员、中南大学计算机学院冯启龙教授分别围绕大规模设施选址问题的精确求解、多项式程序的终止性判定、量子线路优化以及面向大规模数据的机器学习算法优化作主旨报告。上海交通大学王肇国教授、华中科技大学秦虎教授、东南大学李旻研究员、香港理工大学操宜新副教授、哈尔滨工业大学（深圳）刘圣鑫副教授、山东大学樊燕红副研究员、中国科学院软件研究所张昕荻等国内高校及科研机构学者，奥地利格拉茨工业大学Christian Rechberger教授、阿联酋技术创新研究所Emanuele Bellini研究员、南洋理工大学周春宁等国外学者，华为诺亚方舟实验室、华为泰勒实验室、顺丰科技等企业代表，围绕人工智能、组合优化、自动化密码分析作专题报告或参与研讨。

会议举行了主题为 “AI时代的代码研发与可靠性” 圆桌讨论。参会各方围绕人工智能对代码研发范式、软件与硬件可靠性、形式化验证以及自动算法设计带来的机遇和挑战展开交流。

会议期间集中展示了约束求解、并行计算、自动化密码分析、大模型辅助求解等方向的最新研究进展。

本届会议首次在山东大学举办，由网络空间安全学院承办，来自海内外47家单位的100余名专家学者、产业界代表和青年学生参会。