返回首页
您的位置:首页 > 新闻 > CCF新闻 > 数字图书馆

CCF中国软件大会 2021 专辑 | CCF数图焦点第5期

阅读量:277 2022-01-06 收藏本文
图片

点击底部“阅读原文”可浏览《CCF数图焦点》第5期详细内容


本期摘要

图片


我国软件领域规模和影响最大的会议——CCF中国软件大会(ChinaSoft 2021)于12月26日圆满落幕。本年度大会主题为“基础软件:自主、安全与创新”。大会共举办包括学术、工业、教育、竞赛等四大类40余场活动。9位院士莅临、与线上线下24万人次共同探讨中国软件自主、安全与创新之路。


CCF系统软件专委、软件工程专委、形式化方法专委基于CCF数字图书馆隆重推出《CCF中国软件大会 2021》专题,包括得到讲者授权的大会主议程4场院士特邀报告与4场NASAC青年软件创新奖报告,内容覆盖操作系统、信息安全、芯片设计、高性能计算、可信软件、软件自动化等基础软件相关前沿领域,期望在与广大CCF会员分享的基础上共同推动中国软件事业发展。


目录

图片


目录

 

图片


本期主编:

金   芝 CCF系统软件专委主任 北京大学

李宣东 CCF软件工程专委主任 南京大学

王   戟 CCF形式化方法专委主任 国防科技大学

王   泉 CCF嵌入式系统专委主任 西安电子科技大学


本期编委:

董   威 CCF形式化方法专委秘书长 国防科技大学

李   戈 CCF软件工程专委秘书长 北京大学

卜   磊 CCF系统软件专委秘书长 南京大学

李青山 CCF软件工程专委常委 西安电子科技大学   


往期回顾

图片


CCF数图焦点 第4期:芯片敏捷设计方法初探

CCF数图焦点 第3期:机器学习与因果推理

CCF数图焦点 第2期:智能芯片

CCF数图焦点 第1期:智能计算系统