10月13日至15日，2017年全国理论计算机科学学术年会在华中科技大学举办。来自北京大学、清华大学、香港城市大学、国防科技大学等全国30余所知名高校，共100余名代表参加了会议。

大会上，国防科技大学殷建平教授、微软亚洲研究院陈卫高级研究员、香港城市大学李青教授等全国知名专家分别作了特邀报告。本次大会旨在交流近年来我国理论计算机科学的最新研究成果，研究国内外计算机科学及其应用的发展趋势，进一步推动我国理论计算机科学研究的发展。

我系青年教师梅映天以《基于时间戳私钥签名技术的Nayak-T协议安全性分析》为题作了分组报告，该论文已被《计算机工程与科学》录用发表。