2026年4月24日，由中国计算机学会（CCF）主办，CCF形式化方法专业委员会与井冈山大学共同承办的“CCF走进高校”（CCF@U第1407场）学术活动在井冈山大学顺利举行。

本次活动特邀西南大学刘志明教授、张自力教授，同济大学赵生捷教授，以及中国科学院软件研究所宋富研究员作专题报告并进行学术交流。井冈山大学校长助理刘关俊教授，电子与信息工程学院院长郭晨教授、副院长谭彬教授、副院长唐卫东博士及副院长刘欢教授，以及学院师生共70余人参加了本次活动。活动由井冈山大学电子与信息工程学院郭晨教授主持。

井冈山大学校长助理刘关俊教授首先代表学校致辞，向远道而来的各位专家学者表示热烈欢迎，并向活动主办方中国计算机学会及承办方CCF形式化方法专业委员会致以诚挚感谢。他指出，在人工智能技术加速革新的新时代，以大语言模型为核心的智能技术已全面铺开。计算机科学与技术作为重要的基础工科，肩负着推动高校发展、服务国家科技自立自强的重要使命。

随后，中国科学院软件研究所宋富研究员详细介绍了CCF的学术使命与会员权益，鼓励大家充分利用CCF遍布全国的服务网络及数字图书馆等优质资源，积极融入这一学术共同体。

在专题报告环节，同济大学赵生捷教授以“多模态智能感知与理解”为题作首场报告。他聚焦底层逻辑突破与跨学科融合，系统阐述了从“数据驱动”向“知识引导”的认知升级路径，强调了该方向在通用人工智能发展中的战略地位。此外，赵教授还介绍了其团队在国家重大专项、国家重点研发计划、国家自然科学基金重点项目，以及在智慧城市、智慧海洋、低空经济、软件演化、可信计算等领域的近期进展。

西南大学刘志明教授以“从逻辑到人工智能：人类可机械化思维的数字实现与边界”为题作第二场报告。他从逻辑的起源与意义切入，揭示了自然语言的缺陷和逻辑形式语言的必要性，探讨了形式化方法、计算模型及哥德尔不完备性定理，深入阐明了形式系统的内在边界；进而分析了程序与逻辑之间的深刻联系，并结合大语言模型的发展，评析了人工智能在思维、推理与创造方面的能力与局限。报告旨在引导学生从逻辑与计算理论的视角，理性认识机器能力的来源、机制及其边界，从而提升抽象思维能力、理性判断水平与面向未来的科学素养。

西南大学张自力教授以“对具身智能相关问题的一点思考”为题作第三场报告。他指出，全球正经历由人工智能、新能源、生物科技等引领的深刻变革，而物理智能与具身智能正是可能引发新一轮“创造性破坏”的核心领域。具身智能使智能系统拥有“身体”，能够自主适应真实物理世界，其发展事关未来产业格局与国家竞争力。他还进一步分享了关于具身智能发展的深入思考，涵盖机器人在多尺度复杂度与智能度方面与人体的对比与关键挑战，以及未来技术演进的趋势。

中国科学院软件研究所宋富研究员以“人工智能时代的声纹安全”为题作最后一场报告。他回顾了基于人工智能的声纹识别系统在国家公共安全、泛金融、社保民生等领域的广泛应用，针对当前如何保障声纹安全这一人工智能安全治理领域的重大挑战，详细介绍了其团队在声纹识别系统安全攻防及声纹数据隐私保护方面的研究成果。

与会专家还与井冈山大学师生展开了热烈的讨论交流，重点围绕国家自然科学基金项目申请书的撰写、学术研究、学科建设、专业教育等议题，进行了富有成效的咨询、探讨与互动。本次“CCF走进高校——井冈山大学站”活动的成功举办，不仅为学院师生拓宽了前沿学术视野，激发了大家对相关领域的科研兴趣，也为井冈山大学与CCF专家在未来科研合作、人才培养及技术转化等方面奠定了坚实基础。