本网讯（通讯员 杨炎翰）近日，由我校理学院协办的2025年第五届人工智能逻辑与应用国际会议（AILA 2025）在西安石油大学雁塔校区召开。本届大会由西安石油大学主办、陕西师范大学与西安邮电大学协办。来自美国、荷兰等国外高校以及国内北京大学、中国科学院大学、华东师范大学、陕西师范大学、山西大学、深圳大学、浙江大学、合肥工业大学等高校以及华院计算技术（上海）股份有限公司等科研院所及企业的80余名专家学者参会。

大会以“逻辑创新、应用赋能”为主题，主要聚焦人工智能理论的前沿突破与跨领域应用实践。与会期间，荷兰与佛兰德斯开放大学的Natasha Alechina教授、山西大学周北海教授、德克萨斯大学休斯顿分校张国强教授、陕西师范大学李永明教授、北京大学詹乃军教授分别作了《强化学习的逻辑》《泛型句与隐喻句的形式语义》《集成逻辑：时空推理的统一框架》《可能性时序逻辑：可判定性与完全公理化》《将Hoare逻辑扩展至混合系统》的主题报告，分享最新研究成果并与参会专家深入交流。闭幕式上，会议主席、中科院大学张松懋教授对会议进行总结，会议荣誉主席、深圳大学谢维信教授为最佳论文以及最佳论文亚军获得者进行颁奖，会议程序委员会主席、华东师范大学陈仪香教授对会务工作表示感谢。

作为协办单位，我院教师积极参与会议组织和学术交流，充分发挥学科优势，为推动人工智能、逻辑学与数学的学科融合和科研创新贡献力量。本次会议的成功举办，进一步加强我校与国内外专家学者的学术联系，提升我校在人工智能与逻辑学领域的影响力。

（供稿：理学院）