10月13日，數計學院邀請我校客座教授、陜西師范大學博士生導師李永明教授來校作題為《時序邏輯及其量化》的學術報告。學院全體教師及80余名學生代表參加了報告會。報告會由數計學院副院長李會榮主持。

報告中，李永明教授簡單回顧了時序邏輯領域，包括時間的形式化模型、遷移系統模型以及幾種典型的時序邏輯系統，介紹了時序邏輯的主要研究方向、應用領域以及團隊在定量時序邏輯方面的一些具體工作和對未來的展望。與會師生紛紛表示，此次報告會內容豐富、講述生動，使自己受益匪淺，開闊了學術視野，激發了從事科學研究的熱情和興趣。

報告會后，李永明教授與數計學院相關負責人、教師代表就秦嶺康養陜西高校工程中心建設情況進行深入交流。李永明教授對工程中心目前取得成績表示肯定，針對后期平臺建設、學科發展以及服務地方等方面提出了寶貴的建議，同時還對學院2024年國家自然科學基金申報情況進行指導，特別是在團隊組建、申報注意事項、申報書的撰寫等方面提出了具體修改意見。

李永明教授還參觀了我校秦嶺植物標本陳列室、商洛紅色文化資料館和商洛文化暨賈平凹研究中心。

（數計學院供稿 文/李南 圖/石若楠）