2019年第五屆西南大學可信軟件系統工程（國際）春季學校（SETSS 2019）于4月21日正式拉開帷幕。學校副校長崔延強出席開幕式并致歡迎辭。受邀的軟件工程領域國際專家，及來自全國各大高校和科研院所的90余位學員參加了開幕式。開幕式由國家“千人計劃”專家、學校軟件研究與創新中心（RISE）主任劉志明教授主持。計算機與信息科學學院/軟件學院黨委書記靳擁軍，院長肖國強，副書記劉作勛，外聘專家Shmuel Tyszberowicz教授參加開幕式

開幕式上，崔延強副校長代表學校發表講話，張自力教授做實時翻譯。崔校長表達了對受邀嘉賓的熱烈歡迎和誠摯感謝。在介紹學校概況后，崔校長對春季學校的籌辦表示了充分肯定，并衷心祝愿春季學校能夠順利舉辦，預祝各位學員能夠在西南大學度過難忘而又充實的一周。

肖國強院長在開幕式上發言，對目前學院基本情況作了簡要介紹，向出席會議專家學者表示了誠摯歡迎，并對此次大會的順利召開表示祝賀。

據悉，本次可信軟件系統工程（國際）春季學校的邀請德國巴伐利亞數字化中心的創始主席Manfred Broy教授（德國科學院院士、歐洲科學院院士、萊布尼茲獎得主）、德國亞琛工業大學的Joost-Pieter Katoen教授（德國科學院院士、歐洲科學院院士）、丹麥奧爾堡大學的Kim G. Larsen教授（丹麥科學院院士、工程院院士、中組部外專千人）等三位世界著名學者，以及美國伊利諾伊大學香檳分校(UIUC)的Grigore Rosu教授、南京大學卜磊副教授、清華大學助理教授姜宇、SETBIT實驗室的創始人兼首席執行官郭宇博士等學術界及工業界著名專家出席。他們將和眾多學員一起參與春季學校接下來的專題講座與互動交流。

本屆春季學校的講義將會匯編成冊并由Springer出版社以LNCS Tutoria（www.springer.com/lncs）的形式出版。

（計算機與信息科學學院/軟件學院供稿供圖 編輯 韓笑 審核 周翱）