为促进学术界的深度交融与协作，激发科研领域的创新潜能。9月25日，由中国计算机学会（CCF）主办，CCF系统软件专委、哈尔滨学院科技处、信息工程学院以及智能感知与智能软件省重点实验室共同承办的“CCF系统软件专委走进哈尔滨学院暨智能感知与智能软件省重点实验室学术报告会”在哈尔滨学院成功举行。

本次学术报告会邀请了国家级人才计划入选者、ACM杰出会员、CCF系统软件专委副主任、南京大学计算机学院教授许畅，国家级青年人才计划入选者、CCF系统软件专委秘书长、南京大学软件学院副院长卜磊作专题报告。哈尔滨学院副校长于少鹏、科技处处长李惠男出席报告会，信息工程学院院长王克朝主持报告会。来自哈尔滨工业大学的专家、学者及研究生，信息工程学院和相关学科的师生代表参加学习交流。

首先由于少鹏副校长为本次学术报告会致辞，他在致辞中介绍了我校近年来在科研创新方面所取得的成绩及本次学术报告会的重要意义，通过与CCF系统软件专业委员会及许畅教授、卜磊教授等业界精英的深入对话，不仅能够拓宽我校师生的学术视野，激发创新思维，更能够搭建起校际、学界间紧密合作的桥梁。

卜磊教授作为CCF系统软件专业委员会的秘书长，详细介绍了该专委的基本架构与核心使命，并回顾了专委自成立以来的发展历程，以及专委在推动系统软件领域学术交流、技术创新及人才培养方面所做出的重要努力。

许畅教授作为CCF系统软件专委的副主任，进一步展望了专委在本年度的后续活动规划，围绕系统软件领域的最新动态与发展趋势，旨在促进知识的共享与创新的碰撞。同时，许教授向在场的师生发出了诚挚的邀请，鼓励大家积极参与这些活动，与业界专家面对面交流，共同探索系统软件的无限可能。

在专家报告环节，许畅教授和卜磊教授作专题报告。

许畅教授作题为《约束检测：迈向万物互联的一致性》报告，围绕约束检测方法实现万物信息一致性这一问题，介绍了一致性、约束检测和软件测试的背景知识，包括相关模型、思想和应用等，分析其中的发展历程和新的挑战，并以SANER’24工作为基础介绍如何对约束检测自身的一致性进行保障，对可靠约束检测在各方面的应用场景进行了介绍和展望。讲座内容深入浅出，讲座内容不仅深入剖析了约束检测技术的核心与前沿，还以实际案例和研究成果为支撑，使复杂的理论变得生动易懂。

卜磊教授作题为《开放不确定场景下软件可信构造与保障》报告，讲解了信息物理系统内部行为中的离散、连续行为交织，并且外界动态不确定环境更近一步加剧了相关系统行为复杂度，同时，针对信息物理系统的可信构造与保障这一问题，详细介绍了一种基于形式化建模与验证的可信构造与保障方法，并演示了多个应用案例。通过这些实际应用场景的展示，听众不仅看到了形式化建模与验证方法在CPS可信构造与保障中的强大潜力，也深刻体会到了这一技术在实际工业应用中的广泛适用性和重要性。

两位专家与参会的专家、学术及师生们就约束检测方法在实际应用中的难点、软件可信构造与保障在不同场景下的挑战以及未来的研究方向等问题与专家进行了深入交流。场互动频繁，气氛热烈，激发了他们对于科研创新的浓厚兴趣。

通过举办此次学术报告会，为我校师生带来了前沿的学术思想和研究方法，激发了大家的科研热情，拓宽了大家的学术视野，提升了创新。相信在本次报告会的促进下，我校将在相关领域的研究争取更大的突破，为推动科技创新和社会进步贡献更多力量。