5月11日至17日，第八届可信软件系统工程（国际）春季学校（SETSS 2026）在学校开幕。来自全球各地的顶尖学者、业界专家及高校师生汇聚一堂，围绕可信软件系统工程的前沿理论、方法与工具展开深入交流。学校副校长邹芙都出席开幕式。来自国内外多所高校及科研机构的百余名师生和工业界从业者参与了本次春季学校。

邹芙都副校长在致辞中对与会专家学者和全体学员表示热烈欢迎。他指出，SETSS作为软件系统工程领域具有重要影响力的国际学术交流平台，汇聚了众多前沿领域的开拓者与践行者，希望与会师生在思想碰撞中开拓视野、增进合作，共同推动可信软件技术的创新与发展。

图1：邹芙都副校长开幕式致辞

本届春季学校特邀图灵奖得主、中国科学院外籍院士Joseph Sifakis教授，美国国家科学院、国家工程院、美国艺术与科学院院士、莱斯大学Moshe Y. Vardi教授在线开讲；同时邀请欧洲科学院院士、丹麦皇家科学与文学院院士Kim Guldstrand Larsen教授，挪威科学与文学院院士Einar Broch Johnsen教授，以及奥地利约翰内斯·开普勒大学Bernhard Aichernig教授、荷兰莱顿大学Emily Yu助理教授、英国伦敦南岸大学Jonathan P. Bowen教授、国防科技大学董威教授、同济大学张苗苗教授等国内外知名专家现场授课。此外，北京大学孙猛教授、南京大学卜磊教授、大连理工大学江贺教授、中科院软件所吴志林研究员、武汉大学玄跻峰教授、国防科技大学陈振邦教授与陈立前教授等专家组织开展了专题研讨。

图2：会议现场

图3：合影

自2014年以来，可信软件系统工程（国际）春季学校（SETSS）已经成功举办了八届，致力于为国内外同行提供学习、交流与合作的坚实平台。许多海内外知名科学家，如英国皇家工程院院士、约克大学的Jim Woodcock教授，微软首席科学家Rustan Leino教授和Nikolaj Bjorner教授，欧洲科学院院士、瑞典大学教授、东北大学国家级人才王义教授等等，都在春季学校向与会师生做了精彩的学术报告。中国计算机学会形式化专业委员会也将SETSS列为其直属的旗舰学术培训班，在国内外形式化方法领域的人才培养、学术交流与生态构建方面发挥了不可替代的作用。

供稿：张明悦 李鑫娟

供图：张明悦 李鑫娟

初审：廖剑伟

复审：王一晖

终审：易一鹏