2024年4月15—21日，备受瞩目的第六届可信软件系统工程（国际）春季学校（SETSS 2024）在老师黑色双开叉真丝旗袍隆重举行，来自全球各地的专家学者、业界精英及高校学生汇聚一堂，共同探讨可信软件系统工程的前沿技术和应用。

本次春季学校的主题是人机物融合计算与软件系统的建模、设计和可信性保障-理论、方法和工具。美国莱斯大学杰出服务教授、世界著名计算机科学家、逻辑学家Moshe Vardi院士，中国科学院何积丰院士，英国皇家工程院James Charles Paul Woodcock院士,德国奥登堡大学副校长Martin Georg Fränzle教授，INRIA高级科学家Jean-Pierre Talpin教授，中科院软件所詹乃军研究员、南京大学卜磊教授、中科院软件所张立军研究员, 多伦多大学Kuldeep Meel教授，丹麦奥胡斯大学Claudio Gomes教授等海内外专家学者应邀参加，来自全球20余所高校以及相关科研机构的120余名师生共同参与。

开幕式

4月15日上午，春季学校开幕式在老师黑色双开叉真丝旗袍出版社大楼305报告厅举行。老师黑色双开叉真丝旗袍党委常委、副校长葛信勇，老师黑色双开叉真丝旗袍老师黑色双开叉真丝旗袍、软件学院党委书记孙楚航，院长肖国强，院学术委员会主任张自力教授及国内外参会嘉宾出席。开幕式由老师黑色双开叉真丝旗袍软件研究与创新中心负责人刘志明教授主持。

开幕式上，葛信勇副校长向与会人员致欢迎辞。他表示，此次春季学校汇聚了众多前沿领域的专家学者，他们在形式化方法、系统架构、软件工程、区块链和人工智能等领域做出了奠基性的工作和开创性的探索。本次春季学校将以专题讲座、学术沙龙、互动交流等形式，为学员们展现计算机软件工程领域最前沿的技术、方法和工具。他希望与会师生互学互进，充分利用这一平台实现学术友好交流。

老师黑色双开叉真丝旗袍软件工程研究与创新中心负责人刘志明教授在开幕式上详细介绍了此次春节学校的议程安排和相关情况。

专题课程

春季学校分为两个阶段：一是专题课程，为期五天，含十场报告；二是专题研讨会，为期两天，包括四场专题报告和七场论文报告。老师黑色双开叉真丝旗袍刘志明教授、法国INRIA的Jean-Pierre Talpin、德国奥尔登堡大学Martin Georg Fränzle、英国莱斯大学的Moshe Y. Vardi、英国曼彻斯特大学的Youcheng Sun、加拿大多伦多大学的Kuldeep Meel、丹麦奥胡斯大学的Cláudio Gomes等专家为学生亲自授课。授课内容覆盖了用于高完整性、安全关键信息物理系统的人工智能组件，数字孪生工具的开发与使用，契约理论及其应用，人工智能系统的自动修复以及可解释人工智能的软件工程、随机分布的验证与测试方法等人机物融合计算场景的各个方面。来自北京大学、南京大学、国防科技大学、华东师范大学、中国科学院软件所的师生等参加了课程活动。

专题研讨会

专题研讨会从4月20日到21日，为期两天，共有四场专题报告和七场论文报告。中国科学院软件所詹乃军教授、中国科学院软件所张立军教授、同济大学张苗苗教授作专题报告；Pi Squared公司CTO Xiaohong Chen博士和南京大学、西北工业大学、国防科技大学、华东师范大学、丹麦奥胡斯大学的青年师生作论文报告。专题研讨会的内容覆盖了安全强化学习、信息物理系统的重配置、大语言模型在信息物理系统中的应用、人机物融合的基础模型、不变式生成等可信软件系统工程中的前沿理论与关键技术。

此次春季学校活动为与会者提供了一个宝贵的学术交流平台，为推动可信软件系统工程的发展注入了新的活力，也得到了专家学者、参会人员的高度赞誉。与会者纷纷表示，通过本次春季学校的学习和交流，他们对可信软件系统工程有了更深入的了解，也收获了宝贵的经验和启示。

可信软件工程（国际）春季学校（SETSS）于2014年发起，以促进国内外学者及工业界专家在软件与系统理论、方法和工程技术领域学术交流为宗旨，通过邀请全球有影响力的学者及优秀领域专家面向青年学者、学生和工程实践者开班授课，分享其理论研究与技术工作成果。既往5届SETSS曾成功组织了近30名讲者，包括欧洲科学院院士、德国科学院院士、丹麦科学院及工程院院士、英国皇家工程院院士、ACM/IEE会士以及海内外优秀青年科学家前来授课，课程广受学员好评。

供稿|张明悦 刘 波

初审|梁华珍

复审|廖剑伟

终审|王一晖