“数字新时代 信创筑未来”科学文化传播研讨会在新疆师范高等专科学校（新疆教育学院）举行

　　5月31日，由新疆师范高等专科学校（新疆教育学院）主办，中国计算机协会（CCF）形式化方法专委会走进高校、“数字新时代 信创筑未来”科学文化传播研讨会在新疆师范高等专科学校（新疆教育学院）亚心校区举行。来自西南大学、西北工业大学、华东师范大学、国防科技大学、中国科学院软件所等单位CCF形式化方法专委会委员走进高校，带来了精彩的学术报告。新疆师范高等专科学校（新疆教育学院）信息科学与技术学院以及职业教育学院的师生240余人参加了此次活动。

　　会上，与会专家通过数据安全、形式化方法、人工智能、大模型等课题与该校师生进行了讨论与交流，为师生的学术研究与教育实践提供了宝贵的指导。

　　西南大学计算机学院教授刘志明深入探讨了数理逻辑，计算理论和程序语言的基本概念和思想，浅谈在推理和思维中自然语言的局限性和符号化形式语言的必要性，从哲学层面说明人的心智和人工智能（AI）能力范围的区别。西北工业大学软件学院教授董云卫介绍了以大语言模型为代表的生成式神经元网络技术的快速发展和逐步应用，讨论了智能软件工程教育面临的一些技术挑战和热点问题。华东师范大学软件工程学院副教授郭建介绍了随着信息技术的高速发展，数据和资源的规模呈现爆发式增长，安全性逐渐成为信息系统领域的重要主题。国防科技大学计算机学院教授董威介绍了人机物融合系统已被认为是未来信息系统发展的主要形态。中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）研究员吴志林介绍了基于数学推理的验证计算机系统的理论和方法——形式化方法。

　　在互动交流环节，与会专家与该校师生进行了热烈的讨论与交流，为师生的学术研究与教育实践提供了宝贵的指导，促进了该校师生了解国内外在形式化方法、人工智能、大模型等领域的最新发展，推动了该校学术水平的提高。