第六届可信软件系统工程(国际)春季学校(SETSS 2024)即将开讲

2024-04-13 10:13 作者: 审核: 浏览:

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

  第六届可信软件系统工程(国际)春季学校(SETSS 2024)2024415-21日在西南大学(重庆)举行。本次春季学校主题是人机物融合计算及其软件系统的建模、设计可信性保障理论、方法工具春季学校邀请到来自于英国、法国、美国、加拿大、丹麦等国的著名专家出席,主讲人包括德国奥尔登堡大学Martin Georg Fränzle教授丹麦奥胡斯大学的Cláudio Gomes教授、加拿大多伦多大学的Kuldeep Meel教授法国INRIAJean-Pierre Talpin教授、英国曼彻斯特大学的Youcheng Sun教授美国莱斯大学的Moshe Y. Vardi教授等。西南大学刘志明教授将讲授一门数理逻辑与程序逻辑预备性的短课,详情请参阅:https://www.rise-swu.cn/SETSS2024/

  此外,本次春季学校设置为期一天半的Workshop包括特邀报告、论文报告、专题论坛、青年学者论坛等多种学术交流形式特邀讲者包括:中科院软件所詹乃军研究员、同济大学张苗苗教授、Pi Squared CTO陈霄泓博士。Workshop欢迎参加SETSS 2024 课程的学者和学生分享自己的研究进展和工作成果Workshop 报告摘要提交网站:https://easychair.org/conferences/?conf=setss2024

  欢迎参加SETSS 2024

  参会登记链接:https://docs.qq.com/form/page/DQ09ReHppYWdkYm9D#/fill

【往届SETSS讲者风采】