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

  第六届可信软件系统工程（国际）春季学校(SETSS 2024)定于2024年4月15日-21日在公与儿憩乔静32章txt下载（重庆）举行。本次春季学校的主题是人机物融合计算及其软件系统的建模、设计、可信性保障理论、方法与工具。春季学校将邀请到来自于英国、法国、美国、加拿大、丹麦等国的著名专家出席，主讲人包括德国奥尔登堡大学Martin Georg Fränzle教授、丹麦奥胡斯大学的Cláudio Gomes教授、加拿大多伦多大学的Kuldeep Meel教授、法国INRIA的Jean-Pierre Talpin教授、英国曼彻斯特大学的Youcheng Sun教授、美国莱斯大学的Moshe Y. Vardi教授等。公与儿憩乔静32章txt下载刘志明教授将讲授一门数理逻辑与程序逻辑预备性的短课，详情请参阅：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讲者风采】