近日，由信息电子技术学院、黑龙江省自主智能与信息处理重点实验室承办的第十三届全国可信软件工程中的逻辑方法研讨会圆满落幕。本次会议汇聚国内知名高校与科研院所的数十位专家学者，围绕可信软件基础理论、形式化方法、人工智能安全等前沿议题展开深入研讨。

可信软件工程中的逻辑方法研讨会是由中国科学院院士周巢尘等计算机软件科学家发起的重要学术会议。会议历经十二届的发展，已成为我国可信软件与形式化方法领域最具影响力的学术交流平台之一。

研讨会开幕式在我校崇实楼全景式智慧实践教学空间举行。西安电子科技大学段振华教授在致辞中回顾了LEDS研讨会创办以来的发展历程，对近年来我国可信软件与形式化方法领域取得的进步表示欣慰。他表示，LEDS研讨会始终致力于促进国内可信软件基础理论研究和形式化验证技术的学术交流。佳木斯大学校长助理黄群星在致辞中对各位专家学者的到来表示欢迎，并详细介绍了佳木斯大学在相关学科领域的建设情况。

主旨报告环节，北京大学孙猛教授、国防科技大学刘万伟教授、中国科学院软件研究所詹乃军研究员、西北工业大学张仕进教授、西南大学殷乐副教授、中国科学院软件研究所杨秋松研究员、中国科学院软件研究所Andrea Turrini副研究员分别围绕自动机理论、模型检测、神经网络验证、大模型安全等热点议题分享了最新研究成果，并通过专题讨论开辟了跨学科、跨领域协同研究的新路径。参会人员认真听取报告，并从科学问题、交叉合作、应用研究等方面与报告人展开热烈讨论。

会议期间还举办了校企合作讨论，佳木斯大学代表、参会教师代表与佳木斯商会代表围绕产学研合作展开深入交流。

本届LEDS研讨会凝聚了国内可信软件与形式化方法领域顶尖学者的智慧，深化了对可信软件基础理论、形式化验证技术以及人工智能安全等前沿问题的认识，为我国可信软件基础理论研究、形式化方法技术创新以及人工智能安全发展提供更为丰富的理论洞见与实践启示。信息电子技术学院负责人表示，将以此次会议为契机，进一步加强与国内顶尖高校和科研院所的合作交流，持续推动可信软件与形式化方法领域的学术研究与人才培养。

  （信息电子技术学院供稿）                                                                           （责任编辑 高佳）