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)。
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！