2026年3月6日，CCF走进高校活动在福耀科技大学举办。

活动邀请CCF会士、西北工业大学周兴社教授，CCF杰出会员、西南大学刘志明教授和CCF高级会员、同济大学刘关俊教授做专题报告。福耀科技大学计算与人工智能学院师生参加了活动。

福耀科技大学朱正忠教授首先发表致辞。他代表学校对CCF各位专家学者的到来表示热烈欢迎，并对CCF的大力支持表示衷心感谢。他指出，福耀科技大学是一所新成立的面向智能装备创新技术研究性特色大学，学校招生第一年CCF就派专家和学者到学校开展技术交流，学院非常珍惜此次交流学习的机会，期望能就AI赋能装备开发技术、智能软件工程理论和方法进行深入探讨，促进学院专业课程体系建设和前沿技术的新创能力培养。通过本次活动建立起CCF与学校之间稳固的合作关系，为未来的科研合作、人才培养与技术转化奠定坚实的基础。

接着，西北工业大学董云卫教授就形式化专业委员会的组成和使命、CCF会员权益进行了介绍；福州理工大学熊金波教授代表CCF福州会员活动中心介绍了CCF文化，动员在场师生加入CCF，并积极参加CCF主办的活动。

随后，周兴社带来了题为“工业智能及其工业大模型应用发展几点认识”的专题报告。他深入浅出地论述工业智能发展背景与基本机理基础，并重点论述工业大模型及其智能体研发与应用，分析其影响落地的主要难点，给出工业领域模型优化、工业Agent优化开发以及人智有机协同机制等认识。

刘志明作题为“从逻辑经图灵机到人机物融合系统”的学术报告。他的报告讨论了计算逻辑、计算模型和理论方法等计算机基础理论，并结合形式逻辑系统的语言不变性、可证明定理相对于公理的蕴含封闭性，以及哥德尔不完备性定理的哲学意义进行讲解，探讨了逻辑表达和推理相对于人类直觉、感知和意识的不可完备性。基于不可完备性这一理论，讨论了如何区分人类智能与机器智能之间的基本因素。

刘关俊介绍了鲁棒的多智能体强化学习研究进展，他基于鲁棒马尔可夫博弈等技术基础，系统介绍了极小极大优化、对抗正则化等方法用于智能体在干扰下仍能稳定协作性的多智能体学习方法，讨论了适用于无人机集群、多机器人、自动驾驶编队等高可靠需求场景的鲁班性多智能体学习技术途径。

此次活动交流技术丰富、报告内容充实，涵盖了工业智能与工业大模型技术、人工智能逻辑基础理论和方法，以及多智能体鲁棒性学习方法等，技术交流和学术讨论激烈和尖锐，不仅激发与会师生的科研兴趣，也为CCF与福耀科技大学之间建立了良好的合作关系起点，提出了一些助力福耀科技大学加强科教融合体系建设的建议。