4月15日至21日，第六届可信软件系统工程（国际）春季学校（SETSS 2024）在学校举行，来自全球各地的专家学者、业界精英及高校学生汇聚一堂，共同探讨可信软件系统工程的前沿技术和应用。

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

4月15日上午，春季学校开幕式在学校出版社大楼305报告厅举行。学校副校长葛信勇，和众多国内外参会嘉宾出席。葛信勇在致辞中对与会人员的到来表示欢迎。他表示，此次春季学校汇聚了众多前沿领域的专家学者，希望与会师生在友好交流中互学互进，取得收获。

此次春季学校分为两个阶段：一是专题课程，为期五天，含十场报告；二是专题研讨会，为期两天，包括四场专题报告和七场论文报告。专题课程期间，西南大学刘志明教授、法国INRIA的Jean-Pierre Talpin、德国奥尔登堡大学的Martin Georg Fränzle、英国莱斯大学的Moshe Y. Vardi、英国曼彻斯特大学的Youcheng Sun、加拿大多伦多大学的Kuldeep Meel、丹麦奥胡斯大学的Cláudio Gomes等专家为学生授课。专题研讨会期间，来自中国科学院软件所、同济大学、国防科技大学、南京大学等高校、科研院所的师生和企业代表作了专题报告和论文报告。

据悉，可信软件工程（国际）春季学校（SETSS）于2014年发起，以促进国内外学者及工业界专家在软件与系统理论、方法和工程技术领域学术交流为宗旨，通过邀请全球有影响力的学者及优秀领域专家面向青年学者、学生和工程实践者开班授课，分享其理论研究与技术工作成果。