12月28至29日，可信软件工程中的逻辑方法研讨会（LEDS 2016）在上海华东师范大学举行，bat365计算机科学与技术学院软件形式化验证科研团队的潘海玉、袁红娟、郦丽、江敏、朱晔等五位老师参加了会议。潘海玉博士应邀为大会作了题为《Reachability in Fuzzy Game Graphs》的专题报告。

“可信软件工程中的逻辑方法研讨会”旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。会议每年邀请国内该领域的知名专家学者、科研工作者、以及行业领域专家，围绕软件形式化方法、软件模型设计理论、软件分析与验证、软件工程实践等内容开展深入探讨和交流。（计算机科学与技术学院）