7月25日，由中国计算机学会形式化方法专委会和我校人工智能与大数据院承办的全国可信软件工程中的逻辑方法研讨会（LEDS）在我校崇文楼A201会议室成功举办。

北京控制工程研究所、北京大学、清华大学、国防科技大学、华东师范大学、北京航空航天大学、西北工业大学、西安电子科技大学、同济大学、西南大学、南京航空航天大学等国内知名高校的30余位专家代表及我校人工智能与大数据学院教师代表参加了本次研讨会。西安电子科技大学段振华教授和我校人工智能与大数据学院院长刘仁山共同担任研讨会主席。

会上，刘仁山为本次研讨会致欢迎辞并指出，可信软件工程中的逻辑方法研讨会旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。随后，12位受邀专家教授就机器学习、数据挖掘、云计算、物联网等热点领域进行了精彩的报告，包括北京大学孙猛教授题为“深度神经网络的语义鲁棒性”的报告，国防科技大学陈振邦教授题为“面向符号执行的约束求解”的报告，西南大学刘志明教授题为“从数理逻辑基础谈深度学习”的报告，华东师范大学陈仪香教授题为“大语言模型与逻辑推理”的报告，西北工业大学董云卫教授题为“安全稳定控制系统模型多核实时调度研究”的报告。

最后，我校人工智能与大数据学院邀请各位专家教授进行研讨交流。西北工业大学董云卫教授、华东师范大学朱惠彪教授与郭建教授、西安电子科技大学段振华教授、江西师范大学薛锦云教授、北京大学李猛教授、西南大学刘志明教授以及同济大学刘关俊教授等专家围绕“人工智能专业建设”这一主题，对我校人工智能与大数据学院申报人工智能新专业的可行性等方面展开深入的剖析与讨论，并针对人工智能专业建设的难点问题提出诸多宝贵的意见和建议，使我校人工智能与大数据学院进一步明确了专业建设的目标与方向。

此次会议的举办，使国内专家教授进一步了解了百利宫：，成功营造了浓厚的学术氛围，也为我校人工智能与大数据学院教师搭建了与知名专家教授近距离沟通交流的平台。