12月28至29日，可信軟件工程中的邏輯方法研讨會（LEDS 2016）在上海華東師範大學舉行，計算機科學與技術BET体育軟件形式化驗證科研團隊的潘海玉、袁紅娟、郦麗、江敏、朱晔等五位老師參加了會議。潘海玉博士應邀為大會作了題為《Reachability in Fuzzy Game Graphs》的專題報告。
“可信軟件工程中的邏輯方法研讨會”旨在促進我國在可信軟件基礎領域的理論研究、技術開發和工業實踐應用，加強國内該領域同行專家的學術交流與探讨。會議每年邀請國内該領域的知名專家學者、科研工作者、以及行業領域專家，圍繞軟件形式化方法、軟件模型設計理論、軟件分析與驗證、軟件工程實踐等内容開展深入探讨和交流。（計算機科學與技術BET体育）
