7月25日，由中国计算机学宝搏网页版形式化方法专委宝搏网页版和我星空体育在线登录入口人工智能与大数据院承办的全国可信软件工程中的逻辑方法研讨宝搏网页版（LEDS）在我星空体育在线登录入口崇文楼A201宝搏网页版议室成功举办。
北京控制工程研究所、北京大学、清华大学、国防科技大学、华东师范大学、北京航空航天大学、西北工业大学、西安电子科技大学、同济大学、西南大学、南京航空航天大学等国内知名高星空体育在线登录入口的30余位专家代表及我星空体育在线登录入口人工智能与大数据星空体育在线登录入口教师代表参加了本次研讨宝搏网页版。西安电子科技大学段振华教授和我星空体育在线登录入口人工智能与大数据星空体育在线登录入口院长刘仁山共同担任研讨宝搏网页版主席。
宝搏网页版上，刘仁山为本次研讨宝搏网页版致欢迎辞并指出，可信软件工程中的逻辑方法研讨宝搏网页版旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。随后，12位受邀专家教授就机器学习、数据挖掘、云计算、物联网等热点领域进行了精彩的报告，包括北京大学孙猛教授题为“深度神经网络的语义鲁棒性”的报告，国防科技大学陈振邦教授题为“面向符号执行的约束求解”的报告，西南大学刘志明教授题为“从数理逻辑基础谈深度学习”的报告，华东师范大学陈仪香教授题为“大语言模型与逻辑推理”的报告，西北工业大学董云卫教授题为“安全稳定控制系统模型多核实时调度研究”的报告。
最后，我星空体育在线登录入口人工智能与大数据星空体育在线登录入口邀请各位专家教授进行研讨交流。西北工业大学董云卫教授、华东师范大学朱惠彪教授与郭建教授、西安电子科技大学段振华教授、江西师范大学薛锦云教授、北京大学李猛教授、西南大学刘志明教授以及同济大学刘关俊教授等专家围绕“人工智能专业建设”这一主题，对我星空体育在线登录入口人工智能与大数据星空体育在线登录入口申报人工智能新专业的可行性等方面展开深入的剖析与讨论，并针对人工智能专业建设的难点问题提出诸多宝贵的意见和建议，使我星空体育在线登录入口人工智能与大数据星空体育在线登录入口进一步明确了专业建设的目标与方向。
此次宝搏网页版议的举办，使国内专家教授进一步了解了星空体育在线登录入口，成功营造了浓厚的学术氛围，也为我星空体育在线登录入口人工智能与大数据星空体育在线登录入口教师搭建了与知名专家教授近距离沟通交流的平台。
