CCF ChinaSoft 2023中国软件大会初步日程公布！早鸟注册立享优惠！

2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场，期待您的参与！

目前大会火热报名中！早鸟注册（early-bird registration）10月22日截止，提前注册付费锁定注册费优惠权益。

CCF ChinaSoft 2023官方首页：

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”进入官方注册通道:

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

✦  +

+

大会初步日程

时间		会议安排
12月01日（周五）	08:30~12:30	专刊论坛、学术论坛、工业论坛、教育论坛、竞赛论坛
	14:00~18:00	专刊论坛、学术论坛、工业论坛、教育论坛、竞赛论坛
12月02日（周六）	08:30~12:30	开幕式、大会特邀报告、院士论坛
	14:00~18:00	专刊论坛、学术论坛、工业论坛、教育论坛、竞赛论坛
12月03日（周日）	08:30~12:30	大会特邀报告
	14:00~18:00	NASAC青年软件创新奖论坛、颁奖典礼、闭幕式

✦  +

+

常设论坛

论坛名称	论坛主席
顶会顶刊论坛	陈雨亭、陈振邦、姜艳杰
优秀博士生论坛	陈俊洁、王豫、姚培森
优秀青年学者论坛	左志强、苏亭、陈立前
NASAC青年软件创新奖论坛	大会组委会组织

✦  +

+

专刊论坛

论坛名称	论坛主席
形式化方法与应用	曹钦翔、宋富、詹乃军
编译技术与编译器设计	冯晓兵、郝丹、高耀清、左志强
生成式AI与软件自动化	李戈、邢颖、刘芳、刘辉、刘璘
面向云游戏的云侧软件技术	孙毓忠、宋莹、戚正伟、李建欣
复杂软件测试与分析(“系统软件测试验证”与“测试预期问题及蜕变测试研究进展”专刊合办论坛)	田聪、卜磊、李姗姗、姜宇 孙昌爱、郑征、谢晓园、郝丹、陈宗岳
系统与网络安全	向剑文、陈厅、王浩宇、罗夏朴、杨珉
软件研发效能前沿技术	张贺、朱少民、彭鑫
面向复杂软件的缺陷检测与修复技术	张路、刘辉、姜佳君、王博
程序语义深度理解前沿进展	卜磊、陈振邦
面向工业领域软件开发的新方法和应用(Poster)	陈刚、刘进、武星、黄勃

✦  +

+

学术论坛

论坛名称	论坛主席
形式验证@EDA	蔡少伟、侯锐、李华伟、吴志林
开源软件生态健康度量	汪亮、陶先平、王晔晖
云际计算技术论坛	王伟、史佩昌、陈志峰
软件工程女性学者论坛	王莹、沈嘉思
工业互联网系统软件	叶可江、任磊
智能化软件开发和维护	张洪宇、彭鑫、文俊浩
区块链可靠性分析	郑子彬、陈嘉弛、张涛、蔡彦
安全攸关软件智能化开发与验证	胡春明、王戟、赵永望、熊英飞、董威、葛宁
系统软件重点项目论坛	卜磊、刘烃
泛在计算时代的操作系统	李宣东、郭耀
时空大数据领域软件工程论坛	王力哲、应时、商烁、胡成玉
大模型与软件测试	蔡立志、王俊杰、冯洋
证明工程与安全编程	曹钦翔、王迪

✦  +

+

工业论坛

论坛名称	论坛主席
开源软件供应链	陈碧欢、彭鑫、吴倩、李冬
云原生与智能化运维	彭鑫、谢涛、张冬梅、李青山
云计算标准化论坛	陈行、孙文龙、杨丽蕴
软件定义汽车	蒲戈光、张越龄
工业嵌入式基础软件论坛	崔西宁、牛建伟、胡春明
智慧化IDE	蒋奕、黎立、娄一翎
AIGC下的软件工程新范式	刘逵、刘辉、夏鑫
高可信嵌入式软件智能化开发与测试	顾斌、郭向英、陈睿、李晓锋
CCF-华为胡杨林基金-专项论坛(Poster)	王继红、王芳鹏 、刘关俊

✦  +

+

教育论坛

论坛名称	论坛主席
软件工程教育论坛	毛新军、张莉
系统软件教育论坛	陈渝、张昱
程序设计教育论坛	李骏扬、战德臣
形式化方法教育论坛	赵永望、田聪
软件通识教育论坛	陶先平、刘烨庞
特色化示范性软件学院建设论坛	邬向前、王忠杰、张莉、彭鑫、文俊浩

✦  +

+

竞赛论坛

论坛名称	论坛主席
软件研究成果原型系统竞赛	胡星、夏鑫
软件教学案例交流与竞赛	应时、孙艳春
机器人大模型与具身智能挑战赛	金芝、彭鑫、董震
全国大学生软件测试大赛	陈振宇、娄一翎