应我院邀请，10月29日上午，陕西师范大学李永明教授在腾讯会议作了题为《时序逻辑及其量化》的报告。相关师生聆听了此次报告，报告由孙文老师主持。

报告中，李永明教授对时序逻辑领域进行了简单回顾，包括时间的形式化模型、迁移系统模型以及几种典型的时序逻辑系统，并对时序逻辑的主要研究方向与应用领域做了介绍。此外，还简单介绍了团队在定量时序逻辑方面的一些具体工作和对未来的展望。

李永明，陕西师范大学二级教授，博导，政府特殊津贴获得者，教育部高校青年教师奖获得者，陕西省三秦人才津贴获得者。主要主要研究方向：非经典计算理论、量子计算与量子信息、计算智能与格上拓扑学。（曾）担任国际IEEE计算智能模糊系统技术委员会委员，中国系统工程学会模糊数学与模糊系统委员会副主任委员，全国运筹学会智能计算学会副理事长，全国高等师范学校计算机教育委员会副理事长等。曾任多个国际会议的大会主席、程序委员会主席、组织委员会主席，并多次做特邀大会报告。在科学出版社出版专著两部，在国内外著名杂志发表论文300余篇，其中SCI源期刊论文100余篇。承担973项目子课题、国家自然科学基金、教育部高等学校博士点基金、教育部优秀青年教师教学科研奖励计划、教育部留学人员启动经费等项目10余项。曾获得陕西省优秀博士论文导师奖，陕西省科学技术奖，教育部高等学校科学研究优秀成果奖自然科学奖等。