2023年11月27日至29日，第九屆可靠軟件工程：理論、工具和應用國際會議(Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2023）在南京順利召開。本屆會議由中國計算機學會形式化方法專委會主辦，南京航空航天大學承辦，工信部“高安全系統的軟件開發與驗證技術”重點實驗室和江蘇省軟件新技術與産業化協同創新中心等協辦，我校副校長黃志球教授擔任大會主席。

會議開幕式于27日上午舉行，黃志球緻歡迎辭并宣布大會開幕。本次大會包括三個主旨報告，六大主題。主旨報告由阿根廷裡奧誇爾托國立大學的Nazareno Aguirre教授、新加坡國立大學的Jin Song Dong教授，以及華東師範大學的蒲戈光教授作為主講人，内容涵蓋了程序規約斷言、概率模型檢驗、工業軟件的形式化設計與驗證等領域熱點和難點，會議還邀請了國内外軟件工程領域著名專家學者共同探讨領域前沿進展，包括西南大學劉志明教授、中科院軟件所詹乃軍研究員、新加坡管理大學孫軍教授、南京大學蔔磊教授、中科院軟件所吳志林研究員等。

SETTA是由我國計算機學會形式化方法專委會自主發起、具有國際影響的重要學術會議。本次會議内容精彩紛呈，交流形式豐富多樣，彙集了軟件工程形式化研究領域的最新成果，為軟件工程及其相關領域的研究人員提供了一個良好的學術交流和國際合作平台。本次大會也是我校軟件學科近年來承辦的重要國際會議，對于我國軟件工程領域的理論研究和深入發展具有重要意義，同時也進一步增強了我校軟件工程學科的國際影響力。