大会概述
CCF中国软件大会由中国计算机学会(CCF)主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会、复旦大学承办。本次大会的主题为“智能化软件创新推动数字经济与社会发展”。
CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。NASAC创立于2002年，已举办二十一届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议(FMAC)创立于2016年，历经七届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。
本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等40余个不同类型的活动。
主办单位：
中国计算机学会
承办单位：
CCF系统软件专业委员会
CCF形式化方法专业委员会
CCF软件工程专业委员会
复旦大学
协办单位：
上海交通大学
华东师范大学
东华大学
上海计算机软件技术开发中心
上海市软件行业协会
上海市计算机学会
江苏省计算机学会
赞助单位：
钻石赞助商：华为
白金赞助商：OPPO、百度、航天宏图、前沿动力
金牌赞助商：轩宇信息、蚂蚁集团、荣耀、科大讯飞
赞助商：达闼、同盾科技、测吧（北京）科技、
龙田科技、上海控安、科大国创
