10月13日，数计学院邀请我校客座教授、陕西师范大学博士生导师李永明教授来校作题为《时序逻辑及其量化》的学术报告。学院全体教师及80余名学生代表参加了报告会。报告会由数计学院副院长李会荣主持。

报告中，李永明教授简单回顾了时序逻辑领域，包括时间的形式化模型、迁移系统模型以及几种典型的时序逻辑系统，介绍了时序逻辑的主要研究方向、应用领域以及团队在定量时序逻辑方面的一些具体工作和对未来的展望。与会师生纷纷表示，此次报告会内容丰富、讲述生动，使自己受益匪浅，开阔了学术视野，激发了从事科学研究的热情和兴趣。

报告会后，李永明教授与数计学院相关负责人、教师代表就秦岭康养陕西高校工程中心建设情况进行深入交流。李永明教授对工程中心目前取得成绩表示肯定，针对后期平台建设、学科发展以及服务地方等方面提出了宝贵的建议，同时还对学院2024年国家自然科学基金申报情况进行指导，特别是在团队组建、申报注意事项、申报书的撰写等方面提出了具体修改意见。

李永明教授还参观了我校秦岭植物标本陈列室、商洛红色文化资料馆和商洛文化暨贾平凹研究中心。

（数计学院供稿 文/李南 图/石若楠）