CCF ChinaSoft 2022中国软件大会火热报名中

2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在上海国际会议中心举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，学术、工业、教育等论坛活动40余场，期待您的参与！

会议初步日程公布，三个承办专委的年会时间确定。

目前大会火热报名中！在2022年10月20日前注册付费，锁定优惠权益。

点击文末“阅读原文”进入官方注册通道（新增住宿预定渠道）：

https://conf.ccf.org.cn/chinasoft2022

会议初步日程公布

时间		会议安排
11月24日 (周四）	14:00-21:00	会议报到
	19:00-21:00	CCF软件工程专委会年会
11月25日 （周五）	08:30-18:00	分领域研讨会
	20:00-22:00	CCF形式化方法专委会年会
11月26日 （周六）	08:30-12:30	开幕式与特邀报告
	14:00-18:00	特邀报告、院士高峰论坛
	18:30-20:30	晚宴（颁奖）
11月27日 （周日）	08:30-12:30	分领域研讨会
	14:00-16:30	NASAC青年软件创新奖论坛与闭幕式
	16:30-18:30	CCF系统软件专委会年会

论坛列表(持续更新中)

论坛类型	论坛名称
专刊论坛	面向人工智能的边缘计算技术 AI软件系统工程化技术与规范 约束求解与定理证明 泛在操作系统理论、技术与开源生态构建 基础软件质量保障 软件可信性与供应链安全前沿进展 面向可解释人工智能的软件工程方法与技术 群智化软件测试技术和方法 人工智能安全 软件缺陷的自动发现与修复 软件智能合成理论与方法 形式化方法与应用 从自动化到智能化：工业数字化转型新理论新方法（海报专场）
常设论坛	顶会顶刊论坛 优秀博士生论坛 优秀青年学者论坛 百答论坛（Ask Me Everything） NASAC青年软件创新奖论坛
学术论坛	云际计算论坛 服务生态系统 可信AI软件系统工程技术 开源软件论坛 软件工程研究与实践论坛 移动软件工程论坛
工业论坛	泛在计算时代的智能化运维 金融科技前沿技术与发展论坛 “工业软件”定义“智能制造” 华为-三个专委创新项目论坛 形式化方法工业应用前沿论坛 嵌入式基础软件论坛 高可信嵌入式软件工程技术论坛 编译器与编程语言论坛 测试开发人才培养交流会
教育论坛	软件通识教育论坛 程序设计教育论坛 系统软件教研论坛 软件工程教育论坛 形式化方法教育论坛
竞赛	第五届中国软件开源创新大赛 2022全国大学生软件测试大赛 软件工程教学案例竞赛 软件研究成果原型系统竞赛

CCF ChinaSoft 2022官方首页：http://chinasoft.ccf.org.cn/

CCF中国软件大会（CCF ChinaSoft）由中国计算机学会（CCF）主办，是中国软件科学与工程相关领域办会规格最高、参会人数最多、影响范围最广、涵盖内容最全面的全国性学术会议。

CCF中国软件大会由全国软件与应用学术会议(NASAC)与全国形式化方法与应用会议(FMAC)两个会议有机组成。

NASAC创立于2002年，已举办二十届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办。

FMAC创立于2016年，已举办六届，由CCF主办，CCF形式化方法专业委员会承办。

从2020年开始，CCF软件工程专业委员会、系统软件专业委员会和形式化方法专业委员会将NASAC与FMAC融合为国内软件科学与工程领域的顶级学术盛会——CCF中国软件大会(CCF ChinaSoft)。