本文主要是介绍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) | 王继红、王芳鹏 、刘关俊 |
✦ +
+
教育论坛
论坛名称 | 论坛主席 |
软件工程教育论坛 | 毛新军、张莉 |
系统软件教育论坛 | 陈渝、张昱 |
程序设计教育论坛 | 李骏扬、战德臣 |
形式化方法教育论坛 | 赵永望、田聪 |
软件通识教育论坛 | 陶先平、刘烨庞 |
特色化示范性软件学院建设论坛 | 邬向前、王忠杰、张莉、彭鑫、文俊浩 |
✦ +
+
竞赛论坛
论坛名称 | 论坛主席 |
软件研究成果原型系统竞赛 | 胡星、夏鑫 |
软件教学案例交流与竞赛 | 应时、孙艳春 |
机器人大模型与具身智能挑战赛 | 金芝、彭鑫、董震 |
全国大学生软件测试大赛 | 陈振宇、娄一翎 |
这篇关于CCF ChinaSoft 2023中国软件大会初步日程公布！早鸟注册立享优惠！的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
