-会议内容-

大会概述

CCF中国软件大会由中国计算机学会(CCF)主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会、复旦大学承办。本次大会的主题为“智能化软件创新推动数字经济与社会发展”。

CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。NASAC创立于2002年，已举办二十一届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议(FMAC)创立于2016年，历经七届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。

本次大会将组织特邀报告、青年学者论坛、论文专刊论坛、顶会顶刊论坛、优秀博士生论坛、学术论坛、工业论坛、教育论坛、学科竞赛等40余个不同类型的活动。

主办单位：

中国计算机学会

承办单位：

CCF系统软件专业委员会

CCF形式化方法专业委员会

CCF软件工程专业委员会

复旦大学

协办单位：

上海交通大学

华东师范大学

东华大学

上海计算机软件技术开发中心

上海市软件行业协会

上海市计算机学会

江苏省计算机学会

赞助单位：

钻石赞助商：华为

白金赞助商：OPPO、百度、航天宏图、前沿动力

金牌赞助商：轩宇信息、蚂蚁集团、荣耀、科大讯飞

赞助商：达闼、同盾科技、测吧（北京）科技、

               龙田科技、上海控安、科大国创

-主办方介绍-

中国计算机学会

中国计算机学会（CCF）成立于1962年，全国一级学会，独立社团法人，中国科学技术协会成员。 中国计算机学会是中国计算机及相关领域的学术团体，宗旨是为本领域专业人士的学术和职业发展提供服务；推动学术进步和技术成果的应用；进行学术评价，引领学术方向；对在学术和技术方面有突出成就的个人和单位给予认可和表彰。 学会的业务范围包括：学术会议、论坛、评奖、学术出版物、竞赛、培训、科学普及、计算机专业工程教育认证、计算机术语审定、计算机职业资格认证等。有影响的系列性活动有中国计算机大会（CCF CNCC）、 青年计算机科技论坛（CCF YOCSEF）、全国青少年信息学奥林匹克（CCF NOI）、学科前沿讲习班（CCF ADL）、CCF走进高校、CCF王选奖等系列奖项12个、计算机类专业工程教育认证等。 学会下设11个工作委员会，有分布在不同计算机学术领域的专业委员会35个。学会编辑出版的刊物有《中国计算机学会通讯》（学术性月刊），与其他单位合作编辑出版的会刊13种。学会与IEEE-计算机学会、ACM等国际学术组织有密切的联系或合作。 中国计算机学会实行（个人）会员制，任何从事计算机及相关领域专业工作的人士或单位均可申请成为CCF会员。