8月5日下午，由中国计算机学会（CCF）主办，CCF系统软件专委会、榆林市工业和信息化局、西安交通大学、榆林学院、榆林市工业互联网协会承办的“CCF系统软件专委走进榆林学院”学术研讨活动在榆林学院逸夫楼一楼会议室召开。会议由南京大学软件学院副院长、CCF系统软件专委秘书长卜磊教授主持。  

 本次活动邀请了西安交通大学网络空间安全学院副院长刘烃教授，南京大学计算机学院教授、博士生导师、国家级人才计划入选者、ACM杰出会员、CCF系统软件专委副主任许畅教授，大连理工大学人工智能大连研究院院长、全国编译技术虚拟教研室副主任委员江贺教授，浙江大学长聘教授/求是特聘教授、博士生导师、国家“万人计划”青年拔尖人才和科技创新领军人才吴争光教授等多位专家学者开展学术讲座。榆林市数据局副局长刘斌，西安交通大学特聘研究员/博导、榆林市工业和信息化局副局长黄晶晶，华东理工大学教授、博士生导师和望利，哈尔滨工业大学（深圳校区）计算机科学与技术学院教授、博导、哈工大青年拔尖人才高翠芸出席会议。  

 信息工程学院院长张峰在致辞中对各位专家的到来表示欢迎，向多年来支持和帮助我校发展建设的CCF专委会、各位专家、各位朋友致以衷心的感谢！他表示，本次学术活动搭建了一个难得的交流研讨平台，通过各位专家共同探讨计算机学科未来的发展方向，分享研究成果，交流学术思想，对于学院师生了解学术前沿、营造学术氛围、提升科研视野、启发科研思维具有重要意义，期待未来能够和CCF系统软件专委会和双一流高校的各位专家进一步深化交流合作。以深度学习为代表的人工智能与大数据技术已给众多领域带来巨大的变革，而随着大语言模型技术的不断发展，人工智能系统的性能也得到了显著提高。人工智能领域的研究也从语音、文字、视觉等单模态智能，向着多种模态融合发展。多模态智能信息处理作为一种新兴的研究领域，正在引起越来越多的关注。希望各位专家学者常来榆林学院考察交流与项目合作，对计算机相关学科的建设传经送宝、领航指路，共同助力学科迭代和榆林产业升级。希望“CCF走进高校”的未来更加关注边远地区、培养更多的青年教师加入活动中来。  

 会上，许畅教授以“约束检测：迈向万物互联的一致性”为题，以一致性、约束检测和软件测试的一般知识（模型、思想和应用等），分析其中的发展历程和新的挑战，介绍了关于用约束检测实现一致性的科普报告。  

 江贺教授以“新AI时代的编译系统研究”为题，讨论AI4Compiler，探讨人工智能为解决编译系统发展带来的新机会和研究问题，从Compiler4AI的视角，探讨编译系统为人工智能发展提供的技术支撑。  

 吴争光教授以“Asynchronous Control and Filtering of Markov Jump Systems”为题，介绍了马尔可夫跳跃系统的异步控制和滤波问题。

 CCF系统软件专委秘书长卜磊教授总结讲话中表示，本次“CCF系统软件专委会走进榆林学院”活动为学院师生提供了与学术界相关领域专家面对面交流的宝贵机会，活动紧贴相关领域专业学术前沿，开拓了参会师生的学术视野，增加了对相关领域最新研究动态的认识，对学院科研工作和人才培养发挥了积极的推动作用。参会师生纷纷表示，这次学习交流机会难得，收获很大，对CCF系统软件专委会这一学术团体有了更深的认识和了解，希望能够多参加CCF走进高校活动，开阔视野，提升能力。