全国可信软件工程中的逻辑方法研讨会

       2016年全国可信软件工程中的逻辑方法研讨会（Colloquium on Logic in Engineering Dependable Software 2016）于2016年12月28日至29日在我校中北校区顺利召开。

       本次大会由我校计算机科学与软件工程学院主办，上海市高可信计算重点实验室、中国计算机学会形式化专委会承办，并由中国科学院软件研究所的周巢尘院士和我院院长何积丰院士共同担任会议主席，西安电子科技大学的段振华教授、我校朱惠彪教授和中国科学院软件研究所的詹乃军研究员共同担任程序委员会主席，我校陈仪香教授担任工业专题主席。