第六届可信软件系统工程(国际)春季学校(SETSS 2024)在校举行


来源:计算机与信息科学学院 软件学院   |  文字:张明悦、刘波   |  摄影:计算机与信息科学学院 软件学院
编辑: 雷四维   |  审核: 韩笑

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年发起,以促进国内外学者及工业界专家在软件与系统理论、方法和工程技术领域学术交流为宗旨,通过邀请全球有影响力的学者及优秀领域专家面向青年学者、学生和工程实践者开班授课,分享其理论研究与技术工作成果。