js3333线路检测中心

4月8日—9日，2017年全国软件可信基础研讨会在我校召开。来自北京大学、复旦大学、上海交通大学、南京航空航天大学、华东师范大学等30所国内知名高校的学者、博士研究生齐聚js3333线路检测中心，展开学术交流与探讨。

全国软件可信基础研讨会旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。

本次大会由我校计算机科学与技术学院与教育部软硬件协同设计与应用工程中心（华东师范大学）联合主办，广西可信软件重点实验室（桂林电子科技大学）协办。中国计算机学会软件工程专委会、形式化专委会对本次研讨会给予了支持。

大会邀请了包括北京大学王捍贫教授和曹永知教授、复旦大学朱洪教授、华东师范大学陈仪香教授及团队、上海交通大学李国强副教授等与会，安排了近二十位专家和科研人员在会上做了报告。

研讨会既为来自全国各地的科研工作者搭建了学术交流的平台，同时也提高了我校软件形式化验证科研团队在国内的影响力。（计算机科学与技术学院 朱晔）