近期，云南大学软件学院主办、承办了多次行业专业性会议。

2023年7月24日至27日，软件学院与数学与统计学院联合承办的第六届难解问题的表示、算法与应用研讨会在云南大学召开。

难解问题的表示、算法与应用研讨会（Workshop on Hard Computational Problems: Representations, Algorithms and Applications, 简称HCP）致力于促进难解计算问题相关领域的学界研究人员和工业界研究人员的深度交流与合作，促成有影响力的学术成果和产研合作。会议主要聚焦问题的表示（逻辑、约束、图论），算法（理论算法和实践算法，尤其针对组合优化问题、约束问题、逻辑相关 问题、图论问题）和工业相关实际应用场景的深度融合。

本届HCP研讨会共设置约束满足、系统与应用、AI 与优化三大主题，共收集到23 个口头报告和10个海报展示。本次会议注册参会人数达到了140人，汇聚了来自法国亚眠大学、中国科学院软件所、北京大学、南京大学、上海交大等国内相关领域科研人员100余人，来自华为、联想、唏德求索科技、阿里达摩研究院和杉树科技等国内顶尖业界专家10余人。本次会议也吸引了大批研究生同学参会。会议通过研究成果分享和学术交流，有效推动了难解问题的表示、算法在EDA、求解器、图论和组合优化等领域中的应用，为学界与业界开展多角度、深层次、全方位的交流和合作提供了一个良好的平台。

会议结束后，软件学院还邀请法国亚眠大学特级教授李初民博士，为软件学院师生作了题为《MaxSAT问题的求解及其应用》的报告，介绍了SAT与MaxSAT问题的来源、求解技术及相关应用场景，鼓励研究生参与基础科学问题研究，拓宽了学生的学术视野。

2023年8月2日至4日，由中国计算机学会（CCF）、中国图像图形学学会（CSIG）主办，云南大学、CCF多媒体技术专业委员会、CSIG多媒体专业委员会承办，昆明理工大学、云南师范大学和云南民族大学联合承办的2023中国多媒体大会（ChinaMM 2023）在昆明举行。

本次大会旨在为多媒体领域的学术界和产业界提供前沿技术发展动态、丰富多样的学术交流活动、全面前瞻的产业技术宣传平台，以广泛促进学术分享与交流、产业合作与互动，推动产学研联动发展，提升我国多媒体技术的研究与应用水平。本次大会让更多的学术同仁面对面交流，共同促进多媒体领域的蓬勃发展。大会参会人数超过1000余人。

本次大会取得圆满成功，主办单位及参会学者对云南大学留下了良好印象，对大会承办单位的工作和付出表示充分的认可。通过大会，进一步加强了云南大学与国内多媒体学术及行业的学术和技术交流。

2023年8月8日，由教育部编译课程虚拟教研室、“101”计划编译原理虚拟教研室和北京航空航天大学主办，云南大学软件学院及大理大学数学与计算机学院联合承办，头歌在线实践及高等教育出版社联合协办的全国编译课程教学研讨会在大理召开。本次研讨会是我国计算机领域层次最高的编译课程教育教学会议，大会共有多项国家级一流课程的教学成果汇报。通过大会交流与分享，推动了云南大学在计算机领域教育教学、国家级一流课程申报、工程认证、专业建设等多个方面的发展与创新，提升了学校在我国教学领域的影响力，对云南大学“双一流”建设具有积极推动作用。在本次会议中，云南大学软件学院柳青教授获“教材建设奖”，朱锐副教授受聘教育部编译课程虚拟教研室理论课程建设组副组长。

另悉，近日，云南大学软件学院成功申获2025年中国计算机学会人工智能会议（CCFAI 2025）承办权。中国计算机学会人工智能会议（CCFAI,CCF Conference on Artificial Intelligence）是由中国计算机学会主办，中国计算机学会人工智能与模式识别专业委员会承办的人工智能领域盛会。该系列会议每两年举办一次，会议旨在为人工智能领域从业者提供一个互动交流的平台，便于参会者了解最前沿的学术动态，分享人工智能领域的最新研究成果、创新思想和科学方法，进而提高国内人工智能领域的研究水平，现已成为国内人工智能领域最主要的学术活动之一。本次会议的承办权竞选异常激烈，云南大学在最终参与竞选的三家单位中脱颖而出，获得CCFAI 2025人工智能会议的承办权。

CCFAI 2025会议预计于2025年在昆明市举办，将由云南大学软件学院承办，届时将有1000余名来自全国各地的人工智能领域从业者相聚昆明。

供稿：软件学院

编辑：李哲

责任编辑：王崴