2016年10月14日-17日，我校计算机科学与技术学院郦丽、袁红娟等老师应邀参加在中国杭州举行的第四届计量逻辑与软计算国际学术会议(QLSC2016)，并在《Quantitative Logic & Fuzzy Logics》讨论组作专题发言。
本次大会邀请了中国、美国、澳大利亚、加拿大、西班牙、波兰等国内外专家，以介绍他们在计量逻辑、多值逻辑、模糊逻辑、软件的计量化、模糊集与系统、软计算等领域的最新研究成果、思想、发展与应用。郦丽、袁红娟老师的研究成果《Robustness Analysis of Fuzzy Computation Tree Logic》一文，将经典时序计算树逻辑扩展至模糊集计算树逻辑，文章研究模糊计算树逻辑的鲁棒性，并取得预研的结果，证明了基于完全Heyting代数与标准命题代数。（计算机科学与技术学院）
