2011年11月10号下午4点，计算机科学学院硕士研究生李丽君在学院报告厅作了题为《基于可能性测度的LTL模型检测》的报告，博士生雷红轩老师和广大研究生参加了此次报告会。

在由中国计算机学会主办，武汉大学计算机学院和软件学院工程国家重点实验室承办的2011年全国理论计算机科学学术年会上，李丽君的论文《基于可能性测度的LTL模型检测》被评为2011年全国理论计算机科学学术年会优秀论文，并被推荐发表到《计算机学报》，这是我院学生第三次获得该级别会议的论文奖。报告会上，李丽君首先介绍了预备知识，方便听众对后面知识的理解；然后介绍了自己定义的变量，使用的一些方法；最后详细讲解了整个的推理过程，得出研究的结论。

报告结束后，雷红轩老师作了总结点评，并详细介绍了他们小组的情况，从最开始的研究目标，到现阶段的研究成果，然后又展望了以后的工作目标；并表示有兴趣的同学可以到他们小组进行交流。报告会在热烈的掌声中结束。