2020 CCF中国软件大会简介
2020 CCF中国软件大会将于2020年11月20-22日在重庆富力假日酒店召开。会议由中国计算机学会（CCF）主办，CCF系统软件专业委员会、CCF软件工程专业委员会、CCF形式化方法专业委员会、重庆大学软件学院承办。
本年度中国软件大会由全国软件与应用学术会议与全国形式化方法与应用会议两大会议进行有机组成。
全国软件与应用学术会议（以下简称NASAC）由中国计算机学会主办（以下简称CCF），CCF软件工程专业委员会和CCF系统软件专业委员会承办，是中国软件工程、系统软件研究领域的重要顶级学术会议。NASAC创立于2002年，已历十八届，至今已成为中国软件科学相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。
全国形式化方法与应用会议（以下简称FMAC）由中国计算机学会主办，CCF形式化方法专业委员会承办，创立于2016年，已举办四届。FMAC聚焦形式化方法理论前沿和国内最新研究进展，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，成为形式化方法领域的国内盛会，有力促进了形式化方法、工具和应用在中国的发展。
本次大会将组织特邀报告、高峰论坛、青年学者论坛、会议论文报告、优秀博士生论坛、软件教育论坛、国际顶级会议期刊论文论坛、软件系统原型竞赛和产品展示等近30个分领域学术活动。本次大会由华为公司、百度公司提供白金级赞助，轩宇信息、华章图书提供赞助。
2020中国软件大会会议手册：
