4月8日—9日，2017年全國軟件可信基礎研讨會在我校召開。本次大會由泰州BET体育計算機科學與技術BET体育與教育部軟硬件協同設計與應用工程中心（華東師範大學）聯合主辦，廣西可信軟件重點實驗室（桂林電子科技大學）協辦，中國計算機學會軟件工程專委會驗證學組、中國計算機學會形式化專委會學術指導，并由我校孫玲芳教授和華東師範大學陳儀香教授共同擔任研讨會主席，我校張中國教授、華東師範大學張敏副教授和上海交通大學李國強副教授共同擔任程序委員會主席。
全國軟件可信基礎研讨會旨在促進我國在可信軟件基礎領域的理論研究、技術開發和工業實踐應用，加強國内該領域同行專家的學術交流與探讨。會議每年邀請國内該領域的知名專家學者、科研工作者、以及工業界的領域專家，圍繞軟件形式化方法、可信軟件技術與理論、軟件分析與驗證、軟件工程實踐等内容開展深入探讨和交流。本次大會共吸引了來自北京大學、複旦大學、上海科技大學、上海交通大學、南京航空航天大學、華東師範大學等十五所國内知名高校的學者、博士研究生參加。
本次大會邀請包括北京大學王捍貧教授和曹永知教授、複旦大學朱洪教授、華東師範大學陳儀香教授及團隊、上海交通大學李國強副教授與會，安排了近二十位專家和科研人員在會上做了報告。
本次會議為來自全國各地的科研工作者搭建了學術交流的平台，增強我校軟件形式化驗證科研團隊在國内的影響。研究人員兩天多的時間，齊聚鳳城泰州，展開學術交流與探讨。
大會的承辦單位之一中國計算機學會形式化方法專業委員會給予了大會熱情的支持。（泰州BET体育計算機科學與技術BET体育朱晔）
|
