首届CCF中国软件大会在重庆召开

  2020年11月20-22日，首届CCF中国软件大会（CCF ChinaSoft 2020）在重庆隆重召开。本次大会由中国计算机学会主办， CCF系统软件专委会、CCF软件工程专委会、CCF形式化方法专委会、重庆大学共同承办，是第19届全国软件与应用学术会议（NASAC）与第5届全国形式化方法与应用学术会议（FMAC）的联合体。

  当今世界，软件已经成为信息化时代人类文明的重要载体，人类文明运行在软件之上，软件定义一切、赋智万物的新时代正在开启。本次大会引起了全国信息领域的广泛关注，大会线下注册人数超过1500人、线上注册人数超过700人、总参会人数超过4200人。来自高校、科研机构、企事业单位的1500余位专家学者参加了在重庆举行的线下会议，超过2700人通过直播平台同步参加线上会议。

  本次大会是中国软件领域融学术、工业和教育于一体的顶级盛会。林惠民院士、陈左宁院士、何积丰院士、梅宏院士、吕建院士、郑志明院士、王怀民院士等7位中国科学院院士、中国工程院院士莅临大会，分别做大会特邀报告、出席主题为“软件定义智能、支撑创新时代”的院士高峰论坛、参加《软件科学与工程-学科发展战略》发布仪式，为新时代中国软件的快速、持续、深入发展指明了方向。

  本次大会组织了学术、教育、工业、竞赛4大类活动，主要内容包括院士高峰论坛、大会特邀报告、青年学者论坛、顶会/顶刊论坛、国产工业软件前沿与发展论坛、面向工业的操作系统论坛、优秀博士生论坛、百答论坛等30余个论坛、以及全国开源软件创新大赛等一系列创新竞赛，会议报告场次总计超过200场。本次大会在软件教育方面汇集了系统软件教学论坛、软件工程教学论坛、形式化方法教育论坛、程序设计教学论坛、计算机通识教育论坛，内容涵盖了软件教育领域的各个方面，成为软件教育工作者重要的交流和学习平台

  大会开幕式由重庆大学副校长王时龙教授主持。CCF理事长、中科院院士、大会荣誉主席、军事科学院副院长梅宏教授，中科院院士、大会荣誉主席、中科院软件所林惠民研究员，中科院院士、国防科技大学王怀民教授，重庆大学党委书记舒立春教授，国家自然科学基金委信息科学部宋苏处长，CCF常务理事、清华大学史元春教授，CCF专委工委委员、吉林大学黄岚教授，重庆市经济和信息化委员会党组成员、总工程师赵刚先生，华为云应用平台产品部副总裁谈宗玮先生，CCF系统软件专委会主任、大会共同主席、北京大学金芝教授，CCF软件工程专委会主任、大会共同主席、南京大学李宣东教授，CCF形式化方法专委会主任、大会共同主席、国防科技大学王戟教授等出席了大会开幕式。

  在大会邀请报告环节，中国科学院院士王怀民教授作了题为“分布计算2.0：基于网络的联接计算”的特邀报告；中国工程院院士陈左宁教授作了题为“面向新一代智能计算系统的操作系统”的特邀报告；中国科学院院士郑志明教授作了题为“精准智能”的特邀报告；中国科学院院士何积丰教授作了题为“思维机器和强人工智能”的特邀报告；华为公司云应用平台产品部副总裁谈宗玮作了题为“可信软件的研发平台建设与探索”的特邀报告。CCF软件工程专委、系统软件专委、形式化方法专委的5位副主任北京大学谢涛教授、华为公司技术专家王千祥先生、南京航空航天大学副校长黄志球教授、复旦大学彭鑫教授、中科院软件所詹乃军研究员分别主持了特邀报告。

  大会闭幕式由大会共同主席、北京大学金芝教授主持。大会共同主席、重庆大学文俊浩教授回顾了大会筹备和组织工作情况；金芝教授对本次大会进行了总结，并宣布了将在西安举办第二届CCF中国软件大会（CCF ChinaSoft 2021）的决定，承办单位代表、西安电子科技大学李青山教授介绍了承办明年大会的工作设想，重庆大学代表与西安电子科技大学代表进行了会议承办交接。

  本次大会期间，CCF软件工程专委、CCF形式化方法专委、CCF系统软件专委分别召开了年度专委全体委员会议，进行了吸纳专委会新委员的投票选举，讨论了专委会工作和发展计划，CCF常务理事史元春教授和CCF专委工委委员黄岚教授代表CCF参加了各专委会的全体委员会议，对各专委的工作提出了指导性建议。CCF中国软件大会是中国软件界的年度盛会，汇聚了软件领域学术、工业、教育各界精英开展丰富多彩、富有成效的各类交流活动，对国家软件创新和软件产业发展、国际软件学科发展都起到了积极和有力的推动作用。