| 时间 | 会议安排 | 地点 | |
|---|---|---|---|
| 11月14日 周四 | 全天 | 报到 | 西安高新国际会议中心及官方推荐的嘉宾所住酒店 |
| 11月15日 周五 | 08:30~12:00 | 分领域论坛 | 高新国际会议中心各会议厅 |
| 13:30~18:00 | 分领域论坛 | 高新国际会议中心各会议厅 | |
| 20:00~22:00 | CCF系统软件专委会年度工作会议 | 高新国际会议中心丈八厅（一层） | |
| 11月16日 周六 | 08:30~12:00 | 开幕式、大会特邀报告、院士高峰论坛 | 高新国际会议中心首善厅（二层） |
| 13:30~15:00 | 大会特邀报告 | 高新国际会议中心首善厅（二层） | |
| 15:00~18:00 | 分领域论坛 | 高新国际会议中心各会议厅 | |
| 18:30~20:30 | 晚宴 | 高新国际会议中心首善厅（二层） | |
| 20:30~22:30 | CCF形式化方法专委会年度工作会议 | 高新国际会议中心丈八厅（一层） | |
| 11月17日 周日 | 8:30~12:00 | 优秀青年学者论坛 | 高新国际会议中心首善厅（二层） |
| 分领域论坛 | 高新国际会议中心各会议厅 | ||
| 13:30~16:30 | NASAC青年软件创新奖论坛 | 高新国际会议中心首善厅（二层） | |
| 颁奖典礼 | |||
| 闭幕式 | |||
| 16:30~18:30 | CCF软件工程专委会年度工作会议 | 高新国际会议中心丈八厅（一层） | |
会议地点：西安高新国际会议中心
| 时间 | 会议安排 | 地点 | |
|---|---|---|---|
| 11月14日 | 全天 | 报到与注册 | 西安高新国际会议中心及官方推荐的嘉宾所住酒店 |
| 11月15日 上午 | 8:30~12:00 | 顶会顶刊论坛 | 首善厅A（二层） |
| AIGC赋能软件工程：工业应用、实践与挑战论坛 | 首善厅B（二层） | ||
| 软件前沿技术导引论坛 | 灵沼厅（一层） | ||
| 智能化软件开发、测试和维护论坛 | 丈八厅（一层） | ||
| 高可信人机物融合智能系统论坛 | 鱼化厅（一层） | ||
| 新型软件可靠性论坛 | 细柳厅（一层） | ||
| 云原生与智能化运维论坛 | 兴隆厅（一层） | ||
| AIware论坛 | 五星厅（一层） | ||
| 神经符号融合软件的前沿理论和方法论坛 | 东大厅（二+层） | ||
| RISC-V系统软件及软硬协同前沿展望论坛 | 草堂厅（2M层） | ||
| 系统软件教育论坛 | 庞光厅（2M层） | ||
| 闭门会议4：新兴系统软件论坛 | 秦渡厅（2M层） | ||
| 11月15日 下午 | 13:30~18:00 | 顶会顶刊论坛 | 首善厅A（二层） |
| SE4AI：面向人工智能的软件工程方法与技术论坛 | 首善厅B（二层） | ||
| 形式验证 @ EDA论坛 | 灵沼厅（一层） | ||
| 基础模型之下的软件工程论坛 | 丈八厅（一层） | ||
| 高端行业软件与AI融合发展论坛 | 鱼化厅（一层） | ||
| 软件自动修复竞赛 | 细柳厅（一层） | ||
| 软件定义汽车：基础软件与开发实践论坛 | 兴隆厅（一层） | ||
| 可信泛在智能软件系统论坛 | 五星厅（一层） | ||
| RISC-V系统软件及软硬协同技术论坛 | 东大厅（2M层） | ||
| 形式化方法教育论坛 | 草堂厅（2M层） | ||
| 软件基础教育论坛 | 庞光厅（2M层） | ||
| 闭门会议1 | 秦渡厅（2M层） | ||
| 11月15日 晚上 | 20:00~22:00 | CCF-华为胡杨林基金软工专项结项交流及优秀项目颁奖 | 灵沼厅（一层） |
| CCF系统软件专委会年会 | 丈八厅（一层） | ||
| 19:00~21:00 | 仓颉编程培训暨编程大赛宣讲会 | 鱼化厅（一层） | |
| 11月16日 上午 | 8:30~12:00 | 开幕式、大会特邀报告、院士高峰论坛 | 首善厅（二层） |
| 09:00~12:00 | 仓颉编程语言线下挑战赛 | 西电南校区G楼软件工程实践教学中心 | |
| 11月16日 下午 | 13:30~15:00 | 大会特邀报告 | 首善厅（二层） |
| 15:00~18:00 | 移动软件工程论坛 | 灵沼厅（一层） | |
| 智能化高可信嵌入式软件工程论坛 | 丈八厅（一层） | ||
| 青年人才成长论坛 | 鱼化厅（一层） | ||
| 软件供应链安全论坛 | 细柳厅（一层） | ||
| 大模型下的软件质量保障论坛 | 兴隆厅（一层） | ||
| 面向边缘侧大模型优化的关键技术论坛 | 五星厅（一层） | ||
| 面向复杂系统的软件分析与测试专刊论坛 | 东大厅（2M层） | ||
| 形式化方法与应用论坛 | 草堂厅（2M层） | ||
| 新兴软件与系统的可信赖性与安全论坛 | 庞光厅（2M层） | ||
| 不确定性软件理论与工程论坛 | 秦渡厅（2M层） | ||
| 闭门会议2：第二届数据空间前沿论坛 | 新兴厅（一层） | ||
| 11月16日 晚上 | 20:30~22:30 | CCF形式化方法专委会年会 | 丈八厅（一层） |
| 19:00~21:00 | 仓颉语言设计和实现前沿技术Tutorial | 鱼化厅（一层） | |
| 11月17日 上午 | 08:30~12:00 | 优秀青年学者论坛 | 首善厅（二层） |
| 开源生态治理分论坛 | 灵沼厅（一层） | ||
| 优秀博士生激励计划论坛 | 丈八厅（一层） | ||
| 大模型和AI基础设施及其开源生态论坛 | 鱼化厅（一层） | ||
| 大模型评测技术论坛 | 细柳厅（一层） | ||
| 工业嵌入式基础软件论坛 | 兴隆厅（一层） | ||
| 云际计算技术论坛 | 五星厅（一层） | ||
| 软件工程女性学者论坛 | 东大厅（2M层） | ||
| 软件工程教育论坛：大模型时代的软件人才培养 | 草堂厅（2M层） | ||
| 软件研究成果原型系统竞赛 | 庞光厅（2M层） | ||
| 形式化方法在系统软件中的应用论坛 | 秦渡厅（2M层） | ||
| 闭门会议3 | 新兴厅（一层） | ||
| 11月17日 下午 | 13:30~15:10 | NASAC青年软件创新奖论坛 | 首善厅（二层） |
| 15:10~16:30 | 颁奖典礼、闭幕式 | ||
| 16:30~18:30 | CCF软件工程专委会年会 | 丈八厅（一层） | |
| 论坛类型 | 论坛名称 | 论坛编号 |
|---|---|---|
| 特邀报告 | ||
| 常设论坛 | 顶会顶刊论坛 | P1 |
| 优秀博士生激励计划论坛 | P2 | |
| 优秀青年学者论坛 | P3 | |
| 学术论坛 | 大模型评测技术论坛 | R1 |
| 智能化软件开发、测试和维护论坛 | R2 | |
| SE4AI：面向人工智能的软件工程方法与技术论坛 | R3 | |
| 新型软件可靠性论坛 | R4 | |
| 云际计算技术论坛 | R5 | |
| 开源生态治理论坛 | R6 | |
| 可信泛在智能软件系统论坛 | R7 | |
| 高可信人机物融合智能系统论坛 | R8 | |
| 不确定性软件理论与工程论坛 | R9 | |
| 移动软件工程论坛 | R10 | |
| 形式验证@EDA论坛 | R11 | |
| 形式化方法在系统软件中的应用论坛 | R12 | |
| 软件供应链安全论坛 | R13 | |
| 神经符号融合软件的前沿理论与方法论坛 | R14 | |
| 软件工程女性学者论坛 | R15 | |
| 软件前沿技术导引论坛 | R16 | |
| 青年人才成长论坛 | R17 | |
| 专刊论坛 | 大模型下的软件质量保障论坛 | S1 |
| 新兴软件与系统的可信赖性与安全论坛 | S2 | |
| RISC-V系统软件及软硬协同技术论坛 | S3 | |
| 形式化方法与应用论坛 | S4 | |
| 面向边缘侧大模型优化的关键技术论坛 | S5 | |
| 面向复杂系统的软件分析与测试专刊论坛 | S6 | |
| 教育论坛 | 软件基础教育论坛 | E1 |
| 软件工程教育论坛：大模型时代的软件人才培养论坛 | E2 | |
| 系统软件教育论坛 | E3 | |
| 形式化方法教育论坛 | E4 | |
| 工业论坛 | 基础模型之下的软件工程专刊论坛 | I1 |
| AIGC赋能软件工程：工业应用、实践与挑战论坛 | I2 | |
| RISC-V系统软件及软硬协同前沿展望论坛 | I3 | |
| 智能化高可信嵌入式软件工程论坛 | I4 | |
| 软件定义汽车：基础软件与开发实践论坛 | I5 | |
| 高端行业软件与AI融合发展论坛 | I6 | |
| 工业嵌入式基础软件论坛 | I7 | |
| 云原生与智能化运维论坛 | I8 | |
| 大模型和AI基础设施及其开源生态论坛 | I9 | |
| 联合活动 | AIware 论坛 | T1 |
| 竞赛 | 第一届软件缺陷自动修复挑战赛 | C1 |
| 中国软件大会仓颉编程语言线下挑战赛 | C2 | |
| 软件研究成果原型系统竞赛 | C3 |