【本站讯】7月23日-25日，由计算机与控制工程学院承办的HCP2024第七届难解问题的表示、算法与应用研讨会在我校举行。会议邀请了来自中国科学院、中国工业互联网研究院、北京大学、清华大学等科研院所、高校以及华为、联想等企业的优秀学者作学术报告，100余名学者和研究人员参会。计算机与控制工程学院赵相福教授主持开幕式，院长童向荣致欢迎辞，中国科学院软件研究所蔡少伟研究员、赵相福教授分别主持专家报告环节。

本次会议设置了形式化验证与软件测试、约束满足与组合优化和产业应用三大主题，聚焦于问题的表示、算法和工业相关实际应用场景的深度融合展开研讨。

清华大学计算机系陈文光教授围绕“大规模图计算与程序分析”主题，对并行图计算技术的发展和应用以及利用图计算来进行程序分析两个方面的工作进展进行介绍。他指出，现有系统可高效地并行处理涉及万亿点、百万亿边的超大图，并且可以借助图计算的能力来处理程序分析中的大规模数据流图。

山东大学网络空间安全学院常务副院长王美琴教授以“自动化密码算法分析方法研究进展”为主题作报告。报告提到，在解放密码分析人员的劳动力和提升密码算法设计水平方面，自动化搜索方法功不可没。随着研究深入，其在许多搜索任务中的效率和准确性问题逐渐成为限制进一步应用的核心问题。现有自动化搜索方法依赖数学求解工具，难免受限于求解器的计算能力。她还具体介绍了一系列自动化工具，描述了目前使用自动化工具遇到的跟求解器相关的瓶颈问题。

中国工业互联网研究院数据管理与应用研究所高级工程师姜元博士围绕“数据智能推动企业数字化转型的理论研究及实践探索”主题，从宏观层面分析了数字化转型的趋势、内涵和核心路径，总结了数据要素对加快重点行业数字化转型的重要作用，展望了优化算法在管理优化、能源优化和生产运行优化等典型场景中重要应用。

会议期间，多位优秀学者围绕多个主题作学术报告。现场参会人员认真听取报告，就各项研究理论创新、技术方法及现实应用等问题与报告专家进行互动与交流。

来稿时间：7月31日      审核：段昕      责任编辑：孙艳