“可信软件工程中的逻辑方法研讨会”在喀顺利召开

11月4日，由中国计算机学会形式化方法专委会、嵌入式系统专委会主办，计算机科学与技术学院承办的“可信软件工程中的逻辑方法研讨会”在新疆喀什顺利召开。来自西北工业大学、西安电子科技大学、北京大学、华东师范大学、天津大学等高校的专家学者及学院教师参加了此次研讨会。