2023年11月27日至29日，第九届可靠软件工程：理论、工具和应用国际会议(Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2023）在南京顺利召开。本届会议由中国计算机学会形式化方法专委会主办，南京航空航天大学承办，工信部“高安全系统的软件开发与验证技术”重点实验室和江苏省软件新技术与产业化协同创新中心等协办，我校副校长黄志球教授担任大会主席。

会议开幕式于27日上午举行，黄志球致欢迎辞并宣布大会开幕。本次大会包括三个主旨报告，六大主题。主旨报告由阿根廷里奥夸尔托国立大学的Nazareno Aguirre教授、新加坡国立大学的Jin Song Dong教授，以及华东师范大学的蒲戈光教授作为主讲人，内容涵盖了程序规约断言、概率模型检验、工业软件的形式化设计与验证等领域热点和难点，会议还邀请了国内外软件工程领域著名专家学者共同探讨领域前沿进展，包括西南大学刘志明教授、中科院软件所詹乃军研究员、新加坡管理大学孙军教授、南京大学卜磊教授、中科院软件所吴志林研究员等。

SETTA是由我国计算机学会形式化方法专委会自主发起、具有国际影响的重要学术会议。本次会议内容精彩纷呈，交流形式丰富多样，汇集了软件工程形式化研究领域的最新成果，为软件工程及其相关领域的研究人员提供了一个良好的学术交流和国际合作平台。本次大会也是我校软件学科近年来承办的重要国际会议，对于我国软件工程领域的理论研究和深入发展具有重要意义，同时也进一步增强了我校软件工程学科的国际影响力。