| 时间 | 会议安排 | |
|---|---|---|
| 11月30日（周四） | 14:00~21:00 | 会议签到 |
| 19:30~21:00 | CCF软件工程专委年度工作会议 | |
| 12月01日（周五） | 08:30~12:30 | 学术论坛、工业论坛、教育论坛、竞赛论坛 |
| 14:00~18:00 | 学术论坛、工业论坛、教育论坛、竞赛论坛 | |
| 19:30~21:00 | 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系统软件专委年度工作会议 |
| 时间 | 论坛安排 | 论坛主席 | 论坛地点 | |
|---|---|---|---|---|
| 11月30日 （周四晚上） |
19:30~21:00 | CCF软件工程专委年度工作会议 | CCF软件工程专委会 | 7楼明珠厅 |
| 12月1日 （周五上午） |
08:10~08:25 | 暖场视频 | 大会组委会 | |
| 08:30~12:30 | 顶会顶刊论坛 | 陈雨亭、陈振邦、姜艳杰 | 3楼黄河厅 | |
| 生成式AI与软件自动化论坛 | 李戈、邢颖、刘芳、刘辉、刘璘 | 5楼长江厅 | ||
| 形式化方法与应用论坛 | 曹钦翔、宋富、詹乃军 | 3B会议室 | ||
| AIGC下的软件工程新范式论坛 | 刘逵、刘辉、夏鑫 | 3C+D会议室 | ||
| 软件工程教育论坛 | 毛新军、张莉 | 5B+C会议室 | ||
| 系统软件教育论坛 | 张昱、陈渝 | 5D+E会议室 | ||
| 编译技术与编译器设计论坛 | 冯晓兵、郝丹、高耀清、左志强 | 3A会议室 | ||
| 形式验证@EDA论坛 | 蔡少伟、侯锐、李华伟、吴志林 | 3E会议室 | ||
| 云际计算技术论坛 | 王伟、史佩昌、陈志峰 | 3G会议室 | ||
| 云计算标准化论坛 | 杨丽蕴、陈行 | 3I+J会议室 | ||
| 工业嵌入式基础软件论坛 | 崔西宁、牛建伟、胡春明 | 5A会议室 | ||
| 开源软件生态健康度量论坛 | 汪亮、陶先平、王晔晖 | 5F会议室 | ||
| 新兴系统软件论坛 | 卜磊、刘烃 | 5H会议室 | ||
| 区块链可靠性分析论坛 | 郑子彬、陈嘉弛、张涛、蔡彦 | 5I会议室 | ||
| 面向云游戏的云侧软件技术论坛 | 孙毓忠、宋莹、戚正伟、李建欣 | 5J会议室 | ||
| 自动驾驶仿真测试论坛 | 杨子江、杨开睿 | 5G会议室 | ||
| 12月1日 （周五中午） |
13:00~14:00 | CCF-华为胡杨林基金-系统软件专项（海报）论坛 | 王林章、顾嘉辉 | 5楼廊厅 |
| CCF-华为胡杨林基金-软件工程专项（海报）论坛 | 王千祥 | 5楼廊厅 | ||
| CCF-华为胡杨林基金-形式化方法专项（海报）论坛 | 秦胜潮、刘关俊 | 5楼廊厅 | ||
| 面向工业领域软件开发的新方法和应用（海报）论坛 | 陈刚、刘进、武星、黄勃 | 5楼廊厅 | ||
| 12月1日 （周五下午） |
13:40~13:55 | 暖场视频 | 大会组委会 | |
| 14:00~18:00 | 顶会顶刊论坛 | 陈雨亭、陈振邦、姜艳杰 | 3楼黄河厅 | |
| 智能化软件开发和维护论坛 | 张洪宇、彭鑫、文俊浩 | 5楼长江厅 | ||
| 形式化方法与应用论坛 | 曹钦翔、宋富、詹乃军 | 3B会议室 | ||
| AIGC下的软件工程新范式论坛 | 刘逵、刘辉、夏鑫 | 3C+D会议室 | ||
| 软件工程教育论坛 | 毛新军、张莉 | 5B+C会议室 | ||
| 系统软件教育论坛 | 张昱、陈渝 | 5D+E会议室 | ||
| 泛在计算时代的操作系统论坛 | 李宣东、郭耀 | 3A会议室 | ||
| 证明工程与安全编程论坛 | 曹钦翔、王迪 | 3E会议室 | ||
| 工业互联网系统软件论坛 | 叶可江、任磊 | 3G会议室 | ||
| 软件研发效能前沿技术论坛 | 张贺、朱少民、彭鑫 | 3I+J会议室 | ||
| 软件定义汽车论坛 | 蒲戈光、朱敦尧、张越龄 | 5A会议室 | ||
| 高可信嵌入式软件智能化开发与测试论坛 | 顾斌、江云松、陈睿 | 5F会议室 | ||
| 大模型与软件测试论坛 | 蔡立志、王俊杰、冯洋 | 5H会议室 | ||
| 安全攸关软件的智能化开发方法论坛 | 胡春明、董威、葛宁 | 5I会议室 | ||
| 开源软件供应链论坛 | 陈碧欢、彭鑫、黄凯锋 | 5J会议室 | ||
| 机器人大模型与具身智能挑战赛 | 金芝、彭鑫、王斌、董震 | 5G会议室 | ||
| 12月1日 （周五晚上） |
19:30~21:00 | CCF形式化方法专委年度工作会议 | CCF形式化方法专委会 | 5楼长江厅 |
| 12月2日 （周六上午） |
08:30~09:15 | 开幕式 | 7楼上海厅 | |
| 09:15~09:50 | 特邀报告：云原生网络体系架构与关键技术（于全 中国工程院院士） | |||
| 09:50~10:25 | 特邀报告：MIMOS: from theory to tools for (safety-critical) embedded software design & updates （王义 ACM/IEEE Fellow、欧洲科学院院士） |
|||
| 10:25~10:50 | 大会合影、茶歇 | |||
| 10:50~11:25 | 特邀报告：大数据科学、技术与应用的一些发展趋势（徐宗本 中国科学院院士） | |||
| 11:25~12:15 | 院士论坛：智能化软件创新推动数字经济与社会发展 | |||
| 12月2日 （周六下午） |
13:40~13:55 | 暖场视频 | 大会组委会 | |
| 14:00~18:00 | 优秀博士生论坛 | 陈俊洁、王豫、姚培森 | 3楼黄河厅 | |
| 优秀青年学者论坛 | 左志强、陈立前、苏亭 | 5楼长江厅 | ||
| 系统与网络安全论坛 | 向剑文、陈厅、王浩宇、罗夏朴、杨珉 | 3B会议室 | ||
| 云原生与智能化运维论坛 | 彭鑫、谢涛、张冬梅、李青山 | 3C+D会议室 | ||
| 面向复杂软件的缺陷检测与修复技术论坛 | 张路、刘辉、姜佳君、王博 | 5B+C会议室 | ||
| 特色化示范性软件学院人才培养论坛 | 邬向前、彭鑫、张莉、文俊浩 | 5D+E会议室 | ||
| 测试预期问题与蜕变测试研究进展论坛（13:00开始） | 孙昌爱、郑征、谢晓园、郝丹、陈宗岳 | 3A会议室 | ||
| 系统软件测试验证论坛（15:30开始） | 田聪、卜磊、李姗姗、姜宇 | |||
| 形式化方法教育论坛 | 赵永望、田聪 | 3E会议室 | ||
| 软件工程女性学者论坛 | 王莹、沈嘉思 | 3G会议室 | ||
| 软件研究成果原型系统竞赛 | 胡星、夏鑫 | 3I+J会议室 | ||
| 智慧化IDE论坛 | 蒋奕、黎立、娄一翎 | 5A会议室 | ||
| 程序设计教育论坛 | 李骏扬、战德臣 | 5F会议室 | ||
| 软件通识教育论坛 | 陶先平、刘烨庞 | 5H会议室 | ||
| 时空大数据领域软件工程论坛 | 王力哲、应时 | 5I会议室 | ||
| 程序语义深度理解前沿进展论坛 | 卜磊、陈振邦、侯丽珊 | 5J会议室 | ||
| 软件教学案例交流与竞赛 | 应时、孙艳春 | 5G会议室 | ||
| 12月3日 （周日上午） |
08:40~08:55 | 暖场视频 | 大会组委会 | |
| 09:00~09:35 | 特邀报告：人工智能时代安全攸关软件系统设计方法展望（何积丰 中国科学院院士） | 7楼上海厅 | ||
| 09:35~10:10 | 特邀报告：数字化转型背景下金融风险监测技术与金融科技发展思考（柴洪峰 中国工程院院士） | |||
| 10:10~10:30 | 茶歇 | |||
| 10:30~11:05 | 特邀报告：严格工程化的可信和理想主义的智能化（蒋铭 华为Fellow、2012可信实验室总裁） | |||
| 11:05~11:35 | CCF系统软件、软件工程、形式化方法专委博士学位论文激励计划启动暨2023年评选结果发布仪式 | |||
| 12月3日 （周日下午） |
13:10~13:25 | 暖场视频 | 大会组委会 | |
| 13:30~15:30 | NASAC青年软件创新奖论坛 | 7楼上海厅 | ||
| 15:30~16:30 | 软件研究成果原型系统竞赛颁奖 | |||
| 软件教学案例交流与竞赛颁奖 | ||||
| 全国大学生软件测试大赛颁奖 | ||||
| 机器人大模型与具身智能挑战赛颁奖 | ||||
| 大会总结&大会闭幕 | ||||
| 16:30~18:00 | CCF系统软件专委年度工作会议 | CCF系统软件专委会 | ||
详细日程仍有可能发生变动，请关注页面更新。