2024年4月20日至21日，由CCF主办，CCF重庆会员活动中心承办的第六届可信软件系统工程（国际）春季学校（SETSS 2024）专题研讨会（Workshop）在西南大学出版社大楼305学术报告召开。该专题研讨会邀请到了软件工程领域的国内外专家十余名，有来自于全国二十余所高校的150余名学员参加。

4月20日上午，举行了隆重的专题研讨会的开幕式，开幕式由西南大学软件研究与创新中心（RISE）主任刘志明教授主持，并邀请到了计算机软件专家，中国科学院院士、原华东师范大学软件学院院长何积丰教授、英国皇家工程院院士、约克大学Jim Woodcock教授等人出席开幕式。

何积丰院士在开幕式做了188体育投注：在人工智能浪潮下的软件基础理论研究的报告。何积丰院士指出，在新的软件时代，我们面临多个挑战和转变。随着软件系统引入随机变量，过去的公理系统和理论已不再适用，因为变量的赋值和比较含义已发生改变；此外，测试和控制理论中常用的分布模型（如均匀分布、高斯分布和伯努利分布）在自动控制领域变得封闭且简化。何院士进一步分析了不确定性的处理在软件工程中变得常见，需重新考虑如何控制而非消除不确定性。同时，他也强调，AI时代对程序的概念进行了重定义，从关注代码的计算效率转向评估新模型的有效性。这些转变要求我们打破传统观念，重新审视软件的演化全过程和在新环境下的应用。他期望学者能与大企业积极合作，重视大规模自动生成代码和持续在线测试的需求，强调软件发展必须跳出传统的框架。最后，何院士鼓励年轻人“在好的时刻做出一个好的选择，不要错过这个时期”。

开幕式后，专题研讨会正式开始，为期两天，共有四场专题报告和七场论文报告。研讨会邀请到了中国科学院软件所詹乃军教授、中国科学院软件所张立军教授、同济大学张苗苗教授以及来自于产业界的Xiaohong Chen围绕安全强化学习、不变量生成、信息物理系统的重配置、区块链技术等做了专题报告。有来自于南京大学、西北工业大学、国防科技大学、西南大学、丹麦奥胡斯大学等青年老师或学生做了论文报告的分享，报告内容涉及大语言模型在信息物理系统中的应用、人机物融合的基础模型、基于形式化合成的嵌入式构件化软件构造自动化等可信软件系统工程中的前沿理论与关键技术。