第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中科院软件所成功举办

2025年5月17日至23日，由中国计算机学会（CCF）主办，CCF形式化方法专委会、中国科学院软件研究所承办，西南大学协办的“第七届可信软件系统工程（国际）春季学校（SETSS 2025）”在中国科学院软件研究所成功举行。此次春季学校吸引了来自清华大学、北京大学、华东师范大学、西南大学等国内外近30所高校及科研机构的百余名师生参与，反响热烈。本届春季学校为期七天，设置了“专题研讨+系统课程”双阶段教学结构，共计开展超过十余场讲座、研讨与报告交流，内容涵盖可信软件、形式化验证、人工智能安全、自动驾驶系统测试、神经网络控制器合成、机器人软件建模、SAT/SMT求解器优化等多个研究方向。

在5月17日的开幕日，课程以“状态化P4程序的时序验证”和“神经控制器的形式综合”为代表，由清华大学贺飞教授和浙江理工大学林望教授分别主讲，拉开了SETSS 2025的精彩序幕。

5月18日设为专题研讨日，围绕“密码计算中的数论进展”“量子机器学习中的对抗鲁棒性验证”“神经代码生成模型”“联邦学习框架中的后门检测”“概率模型验证”等方向，颜松远教授、官极教授、熊英飞教授、孙猛教授和薛白研究员等做了精彩报告，聚焦AI时代软件安全与可信性的核心挑战。

SETSS春季学校自2014年创办以来，致力于面向可信软件系统工程与形式化方法前沿，为青年学者和工程技术人员搭建系统化学习和交流平台。2025年是SETSS首次离开重庆来到北京举办，具有里程碑式意义。本届春季学校聚焦“可信软件系统工程中的建模、设计与验证——理论、方法与工具”的主题，围绕软件工程、形式化方法、人机物融合系统以及人工智能系统的安全性和可靠性等关键问题展开深入探讨。

开幕式于5月19日上午在软件园区5号楼4层报告厅举行。中国科学院软件研究所张立军研究员在致辞中表示，SETSS 2025聚集了众多国际知名学者与青年才俊，希望通过本次活动加强国内外学术界与产业界的交流与合作，推动可信软件系统的理论与实践发展。

春季学校课程内容丰富、结构严谨。讲座阶段共设立多个专题报告与七场论文交流报告，涵盖形式化建模与验证、系统调度分析、嵌入式系统性能评估、安全性分析与保障等方向。UNC Chapel Hill的Samarjit Chakraborty教授讲授了“Building Safe Autonomous Systems using Imperfect Components”，进一步扩展了可信系统工程的技术边界。德国萨尔大学的Jan Reineke教授围绕“Hardware-Software Leakage Contracts for Side-Channel Security”展开讨论，引发了热烈互动。英国约克大学的Pedro Ribeiro博士则从理论与应用结合的角度出发，讲解了“Model-based Software Engineering for Robotics”。作为压轴出场，来自丹麦奥尔堡大学的Kim G. Larsen教授同样在线上带来了“Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems”的精彩报告，深入浅出地介绍了时间自动机及其在工业系统建模中的成功应用。

此外，国内讲者也带来了众多高水平内容：中科院软件所的蔡少伟研究员分享了在“Advances on SAT and SMT Solving”方面的研究进展；华东师范大学张民教授展示了其团队在“Safeguarding Deep Reinforcement Learning Systems via Formal Methods: From Safety-by-Design to Runtime Assurance”上的新成果；中科工业人工智能研究院的薛吟兴研究员介绍了其在“Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation”方面的工程实践与技术挑战。

本届春季学校采用“专题报告 + 系统课程 + 小组交流”相结合的形式，强调理论讲授与实践引导相结合，帮助学员在深入理解前沿技术的同时，提升跨学科协同与创新能力。课程结束后，部分讲者还组织了互动问答和自由讨论环节，许多参会学员表示，通过此次学习不仅收获了系统性的理论知识，也开拓了研究视野，结识了志同道合的同行伙伴。

据悉，SETSS已成为中国可信软件与形式化方法领域的重要学术活动之一，在推动相关技术发展、加强国际交流合作、促进青年人才培养等方面发挥了积极作用。此次在北京举办的第七届春季学校，不仅为中科院软件所搭建了一个展示研究成果、推动学术合作的平台，也为国内外学界及产业界的交流合作注入了新的活力。

更多详细信息请访问会议官网：https://tis.ios.ac.cn/SETSS2025/