11月17日下午，由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，得到西安高新区管委会大力支持的2024 CCF中国软件大会（2024 CCF ChinaSoft）在西安圆满落幕。大会期间，国内外软件相关领域学者、师生与从业者2400余人齐聚一堂，聚焦智能软件创新赋能新质生产力发展，探讨软件相关领域发展的新思路，展示领域内最新学术研究动态以及技术成果，搭建起软件领域学术界、教育界以及工业界沟通新思想、交流新进展的舞台。
在大会特邀报告环节，CCF会士、中国科学院院士杨孟飞作题为《航天软件智能开发方法的若干进展》的报告，介绍了团队在航天软件智能开发方面的成果，主要包括基于软件IP的航天控制软件智能合成、航天软件领域大模型、嵌入式软件智能化测试、航天器智能软件测试以及提升航天器在轨智能自主运行能力等方面的工作，以上工作共同持续推动智能化技术在航天软件开发中的落地。
中国科学院院士杨孟飞作报告
CCF会士、副理事长、中国科学院院士胡事民作题为《计图深度学习框架与代码大模型》的报告，详细介绍了计图框架上国产芯片适配与优化的新进展，以及计图团队在代码大模型方面的探索，分析了代码大模型的挑战，分享了团队在基于计图框架的大模型训练加速、大模型推理优化等方面的实践。
中国科学院院士胡事民作报告
中国工程院院士尼玛扎西作了题为《国产操作系统多语言支撑技术》的报告，主要介绍了国产操作系统多语言支撑平台及银河麒麟操作系统V10藏文版、蒙古文版研发和应用情况。
中国工程院院士尼玛扎西作报告
蚂蚁集团副总裁兼首席技术安全官韦韬博士作了题为《拥抱Rust：构建高安全性、高可靠性的下一代系统软件》的报告；汇丰财富管理与个人银行全球首席架构师夏勇博士作了题为《银行金融业的智能化转型：变革软件开发全周期》的报告。
在院士高峰论坛上，中国科学院院士林惠民、梅宏、吕建、杨孟飞、管晓宏、王怀民、胡事民开展对话交流讨论。
院士高峰论坛交流
本届大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法、软件基础教育等多个方面，众多软件相关领域专家学者分享了最新学术成果，会场氛围热烈，参会代表纷纷表示收获颇多。
平行论坛
其中，在NASAC青年软件创新奖论坛上，华为技术有限公司操作系统内核副首席技术专家郭寒军作了题为《异构融合OS–异构智算时代的操作系统演进和创新思考》的报告，复旦大学陈碧欢副教授作了题为《开源软件供应链风险分析与治理》的报告，中国科学院软件研究所窦文生研究员作了题为《数据库系统质量保障》的报告。
在学科竞赛方面，本届大会举办了第一届软件缺陷自动修复竞赛、仓颉编程线下挑战赛以及软件研究成果原型系统竞赛，其中软件缺陷自动修复竞赛、仓颉编程竞赛均为首次举办，参与软件研究成果原型系统竞赛的队伍70余支，人数超过380人，单位超过55所，均达到历年最多。
在闭幕式上，举行了承办单位交接仪式。大会承办权由北京大学谢涛教授和西安电子科技大学李青山教授共同交接给2025年CCF中国软件大会的承办方代表武汉大学玄跻峰教授，期待2025年CCF中国软件大会举办。
承办单位交接。图片均由会议主办方提供
未来，人工智能或将帮助科研工作者跳过文献检索、粗读的过程，直接找到需要的文献，大幅提升科研工作者的文献阅读效率。 ·“我相信，有一天我们将能够以像手术那样的精确度来改变致病基因。” ·“目前还没有在大脑中使用任 2023年，对中国高等教育而言，是内外激荡的一年。 ChatGPT的横空出世让高等教育界猝不及防；疫情的结束使得公众对校园 近日，“张雪峰称文科都是服务业”这一词条引发网友关注与热议。此前，“考研名师”张雪峰还说过，即使把孩子打晕，也 文｜卜金婷 田瑞颖 《自然》近日发文警告，对人工智能（AI）的不当使用或将催生大量不可靠或无用的研究，导致可重复性 记者1月2日从中国科学院昆明植物研究所获悉，近期高黎贡山国家级自然保护区怒江管护局、贡山管护分局联合该所组成的考察 。本文链接：2024 CCF中国软件大会在西安圆满落幕http://www.sushuapos.com/show-11-14215-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。