为进一步加强学术交流合作，拓宽师生学术视野，推动计算机科学与人工智能学科建设及科研创新，10月30日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会、新疆和田学院承办的“CCF走进新疆和田学院”学术报告会在学校南校区图书馆二楼中心会议室举办。新疆和田学院党委常委、副院长潘江如出席活动并致辞。计算机与人工智能学院党总支书记何伟、院长艾孜孜·吐尔逊及师生代表参加活动。报告会由计算机与人工智能学院副院长刘娜主持。

潘江如在致辞中对中国计算机学会及各位专家开展学术交流表示欢迎和感谢。他指出，此次活动为学校师生近距离接触计算机科学前沿成果、了解人工智能与形式化方法最新发展动态提供了宝贵机会，对加强学校学科专业建设、提升科研创新能力和人才培养质量具有积极意义。希望以此次活动为契机，进一步深化与中国计算机学会及相关高校、科研院所的交流合作，推动优质学术资源共享，为学校高质量发展提供有力支撑。

随后，CCF形式化方法专业委员会西北工业大学董云卫教授介绍了中国计算机学会及形式化方法专业委员会的基本情况，分享了形式化方法领域的学术发展方向与交流合作平台，进一步增进了师生对相关领域及学术组织的了解。在专题报告环节，来自国内知名高校和科研院所的专家学者围绕人工智能、软件工程、形式化方法与可信软件等前沿领域作了精彩报告。西南大学刘志明教授围绕《生成式AI与智能体AI正在引发第二次软件危机吗？》，分析了人工智能发展给软件工程与系统可信性带来的机遇和挑战；航天科技集团502研究所顾斌研究员以《高可信嵌入式软件设计》为题，分享了高可信嵌入式软件设计与验证的关键技术；贵州大学王以松教授围绕《新一代人工智能是否仍需要知识表示与推理？》，探讨了知识表示与推理在人工智能发展中的重要作用；浙江大学袁胜浩研究员以《TRust2：基于定理证明的Rust语言形式验证工具链》为题，介绍了形式化验证技术在基础软件安全领域的研究进展与应用前景。

报告过程中，现场学术氛围浓厚，师生认真聆听、积极思考。在互动交流环节，同学们结合报告内容踊跃提问，围绕人工智能技术发展、专业学习及相关前沿技术应用等问题与专家进行了深入交流。专家们耐心细致地解答了同学们提出的问题，并结合自身科研经历分享了研究思路与学习建议。现场互动积极、气氛热烈，充分展现了学院学子良好的求知精神和浓厚的学习兴趣。

  本次学术报告内容丰富、视角多元，既涵盖人工智能与软件工程领域的前沿理论，又涉及形式化验证和高可信软件设计等关键技术，为学院师生提供了了解学科发展趋势、拓展科研思路的宝贵机会。此次“CCF走进新疆和田学院”活动的举办，不仅搭建了学校与国内计算机领域专家学者交流互动的平台，也为学院深化学科建设、推进教育教学改革、提升人才培养质量提供了有益借鉴。

  下一步，计算机与人工智能学院将持续加强与高水平学术组织、高校及科研院所的交流合作，积极拓展学术交流渠道，营造良好科研创新氛围，不断提升学科专业建设水平与人才培养质量，为推动学校高质量发展贡献力量。

（作者：赵稳稳  编辑：阿布地乃比·吐孙尼亚孜  审核：何伟）