7月25日，由中國計算機學會形式化方法專委會和我校人工智能與大數據院承辦的全國可信軟件工程中的邏輯方法研討會（LEDS）在我校崇文樓A201會議室成功舉辦。

北京控制工程研究所、北京大學、清華大學、國防科技大學、華東師范大學、北京航空航天大學、西北工業大學、西安電子科技大學、同濟大學、西南大學、南京航空航天大學等國內知名高校的30余位專家代表及我校人工智能與大數據學院教師代表參加了本次研討會。西安電子科技大學段振華教授和我校人工智能與大數據學院院長劉仁山共同擔任研討會主席。

會上，劉仁山為本次研討會致歡迎辭并指出，可信軟件工程中的邏輯方法研討會旨在促進我國在可信軟件基礎領域的理論研究、技術開發和工業實踐應用，加強國內該領域同行專家的學術交流與探討。隨后，12位受邀專家教授就機器學習、數據挖掘、云計算、物聯網等熱點領域進行了精彩的報告，包括北京大學孫猛教授題為“深度神經網絡的語義魯棒性”的報告，國防科技大學陳振邦教授題為“面向符號執行的約束求解”的報告，西南大學劉志明教授題為“從數理邏輯基礎談深度學習”的報告，華東師范大學陳儀香教授題為“大語言模型與邏輯推理”的報告，西北工業大學董云衛教授題為“安全穩定控制系統模型多核實時調度研究”的報告。

最后，我校人工智能與大數據學院邀請各位專家教授進行研討交流。西北工業大學董云衛教授、華東師范大學朱惠彪教授與郭建教授、西安電子科技大學段振華教授、江西師范大學薛錦云教授、北京大學李猛教授、西南大學劉志明教授以及同濟大學劉關俊教授等專家圍繞“人工智能專業建設”這一主題，對我校人工智能與大數據學院申報人工智能新專業的可行性等方面展開深入的剖析與討論，并針對人工智能專業建設的難點問題提出諸多寶貴的意見和建議，使我校人工智能與大數據學院進一步明確了專業建設的目標與方向。

此次會議的舉辦，使國內專家教授進一步了解了呼倫貝爾學院，成功營造了濃厚的學術氛圍，也為我校人工智能與大數據學院教師搭建了與知名專家教授近距離溝通交流的平臺。