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中国软件大会举办。
承办单位交接。图片均由会议主办方提供
近日,网红考研名师张雪峰在直播中称“所有文科都叫服务业”,总结起来就是“舔”,引发坊间热议;之后,他在致歉回应中称“ 12月18日,由中国科协—北京大学科学文化研究院、中国科协创新战略研究院及北京大学科学技术与医学史系共同主办的“第三 近日,罗氏制药第三届支付创新大会在上海举办。本次活动以“同星共创,聚氏未来”为主题,汇聚了来自医药企业、商业保险 近日,日本新潟大学等机构参与的一个国际研究团队报告,他们利用载人潜水器调查了日本海沟,在海底发现了2011年日本“ ? 夏培肃 (1923.7.28—2014.8.27),四川江津人 (今重庆江津),著名计算机专家和教育家,我国计算机研究的先驱和计算机事业 2023年12月28日,陕西省审计厅在官网发布《2023年第9号审计结果公告》,其中西北大学2019年度预算执行及财务收支情况审计 。本文链接:2024 CCF中国软件大会在西安圆满落幕http://www.sushuapos.com/show-11-14215-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。