2012年8月17至19日，由中国计算机学会主办、海南大学信息与科学技术学院承办、海南省计算机学会和海南软件职业技术学院协办的“全国理论计算机科学学术年会”在海南省海口市召开。公司2010级硕士研究生李亚利的论文“可能性测度下的LTL性质”在评审中被评为优秀论文。

参加本次会议的有来自国防科技大学、天津工业大学、南开大学、湘潭大学、西安电子科技大学、山东大学、武汉大学、永利官网等多名师生。