91短视频

4月24日至26日，由中国逻辑学会非经典逻辑与计算专业委员会主办、我校承办的第二届非经典逻辑与计算学术会议在我校成功举办。来自国内外60余所高校的140余名专家学者齐聚一堂，围绕非经典逻辑与计算领域的前沿热点与发展趋势开展深入研讨与交流。

4月25日上午，大会开幕式在我校春秋讲堂隆重举行。中国工程院院士、东北大学党委副书记、副校长唐立新；西安电子科技大学校长、党委副书记高新波；我校副校长赵永强；中国逻辑学会非经典逻辑与计算专业委员会主任、北京航空航天大学教授杨义川；专委会原主任、陕西师范大学原副校长赵彬，以及来自北京师范大学、西安交通大学、四川大学、北京理工大学、湖南大学、新加坡南洋理工大学等高校的专家学者出席开幕式。开幕式由专委会秘书长、陕西师范大学教授周红军主持。

赵永强代表学校致欢迎辞，向莅临大会的各位专家学者表示热烈欢迎，并简要介绍了我校近年来在学科建设、科学研究和人才培养等方面取得的成效。他表示，本次会议在我校举办，为我校师生搭建了高水平学术交流平台，对促进数学、人工智能、计算科学等相关领域的交叉融合发展具有重要意义。

随后，杨义川代表专委会致辞。他对学校的精心组织和周到服务表示感谢，向作报告专家、会议主持人及与会代表表示诚挚谢意，并阐述了人工智能时代非经典逻辑与计算领域的学术方向和发展规划。他预祝本次会议成为一届成果丰硕、交流充分、启迪未来的学术盛会。

本届会议以“非经典逻辑与计算”为主题，聚焦非经典数理逻辑、序代数、聚合函数、智能计算、可信人工智能、拓扑代数等研究方向，旨在深化本领域学术交流，推动形式化逻辑方法在安全可信人工智能、可解释智能系统等领域的理论创新与应用研究。

会议期间，唐立新院士、高新波教授分别作大会主旨报告。湖南大学李庆国教授、北京理工大学史福贵教授、四川大学寇辉教授、南京师范大学严从华教授、陕西师范大学周红军教授、新加坡南洋理工大学吴国华副教授、我校吴雅丽副教授先后作大会报告，分享相关领域最新研究成果与前沿进展。大会同时设置非经典逻辑、序代数、聚合函数、智能计算、拓扑代数共5个专题分会场，30余位专家学者和青年学生围绕相关专题作学术报告并开展深入研讨。

闭幕式由我校91短视频 副主任高立民主持。会上，组委会颁发了优秀报告奖，并为中国逻辑学会非经典逻辑与计算专业委员会新增选的副秘书长及委员颁发聘书。湖南大学李庆国教授作为参会代表发言。洛阳师范学院吴增宝副教授作为下一届非经典逻辑与计算常务委员会会议承办单位代表，介绍了下一届会议的筹备相关情况。我校91短视频 主任董昌州致闭幕词。

据悉，本届会议共安排9场大会报告、5个专题分会场、30余场专题报告，为国内外非经典逻辑与计算领域的专家学者和青年学生搭建了高水平、专业化的学术交流平台。会议的成功举办，进一步深化了我校与国内外高校的学术合作与交流，对提升我校相关学科影响力、推动学科交叉融合、促进学校内涵式高质量发展具有积极而深远的作用。

本次会议得到我校研究生学院、科技处的大力支持。