10月14至15日，2017年全國理論計算機科學學術年會（NCTCS 2017）在武漢華中科技大學舉行，我校計算機科學與技術BET体育潘海玉、郦麗、袁紅娟三位老師應邀參會。
本次會議邀請了來自國内著名高校的多位專家，交流我國理論計算機科學的最新研究成果，研究國内外理論計算機科學及其應用的發展趨勢，進一步推動我國理論計算機科學研究的發展。
本次會議主題涉及算法與複雜性、軟件理論與方法、數據科學與機器學習理論、計算模型等多個領域。我校教師袁紅娟、潘海玉等合作的《模糊交互時态邏輯的模型檢測》論文，提出了用模糊交互時态邏輯來形式化描述和驗證具有不确定信息的開放系統的性質，并讨論了它的模型檢測問題，最後給出模型檢測算法和複雜性分析。袁紅娟老師做了軟件理論與方法分組報告。
會議期間召開了中國計算機學會理論計算機科學專業委員會工作會議，進行了委員會增選工作，我校潘海玉博士增選為理論計算機專委會委員。
（計算機科學與技術BET体育袁紅娟）
