【会议内容】

大会概述

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

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

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

主办单位：

中国计算机学会

承办单位：

CCF系统软件专业委员会

CCF形式化方法专业委员会

CCF软件工程专业委员会

复旦大学

协办单位：

上海交通大学

华东师范大学

东华大学

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

上海市软件行业协会

上海市计算机学会

江苏省计算机学会

赞助单位：

钻石赞助商：华为

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

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

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

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

【会议日程】

2023年CCF中国软件大会日程总览

时间	会议安排
11月30日（周四）	14:00~21:00	会议签到
	19:30~21:30	CCF软件工程专委年度工作会议
12月01日（周五）	08:30~12:30	学术论坛、工业论坛、教育论坛、竞赛论坛
	14:00~18:00	学术论坛、工业论坛、教育论坛、竞赛论坛
	19:30~21:30	CCF形式化方法专委年度工作会议
12月02日（周六）	08:30~12:30	开幕式、大会特邀报告、院士论坛
	14:00~18:00	学术论坛、工业论坛、教育论坛、竞赛论坛
	18:30~20:30	晚宴
12月03日（周日）	09:00~12:00	大会特邀报告
	13:30~16:30	NASAC青年软件创新奖论坛、颁奖典礼、闭幕式
	16:30~18:00	CCF系统软件专委年度工作会议

【会议门票】

会议门票

门票类型	参会者身份	09月01日 ~ 10月22日	10月23日 ~ 12月03日
会议注册费	CCF专业会员	￥2600	￥3100
	CCF学生会员	￥1900	￥2350
	非会员专业人员	￥3250	￥3880
	非会员学生	￥2400	￥2950
企业单日票(12/1)（指定日参会）	CCF会员	￥750	￥980
	非会员	￥1000	￥1240
企业单日票(12/2)（指定日参会）	CCF会员	￥750	￥980
	非会员	￥1000	￥1240
企业单日票(12/3)（指定日参会）	CCF会员	￥750	￥980
	非会员	￥1000	￥1240

附加活动

附加活动名称	参会者身份	09月01日 ~ 10月22日	10月23日 ~ 12月03日
额外晚宴门票(须购12月2日企业单日票)	不区分会员资格	￥580	￥580
额外晚宴门票(已注册人员增购)	不区分会员资格	￥580	￥580