| 时间 | 会议安排 | 地点 | |
|---|---|---|---|
| 11月14日 周四 | 全天 | 报到 | 西安高新国际会议中心 |
| 11月15日 周五 | 08:30~12:00 | 分领域论坛 | 高新国际会议中心各会议厅 |
| 13:30~18:00 | 分领域论坛 | 高新国际会议中心各会议厅 | |
| 20:00~22:00 | CCF系统软件专委会年会 | 高新国际会议中心丈八厅 | |
| CCF-华为胡杨林基金软工专项论坛 | 高新国际会议中心灵沼厅 | ||
| 19:00-21:00 | 仓颉编程培训暨编程大赛宣讲会 | 西安高新国际会议中心鱼化厅 | |
| 11月16日 周六 | 08:30~12:00 | 开幕式、特邀大会报告、院士高峰论坛 | 高新国际会议中心首善厅 |
| 13:30~15:00 | 特邀大会报告 | ||
| 15:00~18:00 | 分领域论坛 | 高新国际会议中心各会议厅 | |
| 18:30~20:30 | 晚宴 | 高新国际会议中心首善厅 | |
| 19:00-21:00 | 仓颉语言设计和实现前沿技术Tutorial | 西安高新国际会议中心鱼化厅 | |
| 20:30~22:30 | CCF形式化方法专委会年会 | 高新国际会议中心丈八厅 | |
| CCF-华为胡杨林基金系统软件专项论坛 | 高新国际会议中心灵沼厅 | ||
| 11月17日 周日 | 8:30~12:00 | 优秀青年学者论坛 | 高新国际会议中心首善厅 |
| 分领域论坛 | 高新国际会议中心各会议厅 | ||
| 13:30~16:30 | NASAC创新奖颁奖 | 高新国际会议中心首善厅 | |
| 闭幕式（颁奖） | |||
| 16:30~18:30 | 软件工程专委会年会 | 高新国际会议中心丈八厅 | |
| CCF-华为胡杨林基金形式化方法专项论坛 | 高新国际会议中心灵沼厅 | ||
| 论坛类型 | 论坛名称 |
|---|---|
| 特邀报告 | |
| 学术论坛 | 大模型评测技术论坛 |
| 智能化软件开发、测试和维护论坛 | |
| SE4AI：面向人工智能的软件工程方法与技术 | |
| 新型软件可靠性论坛 | |
| 新兴系统软件论坛 | |
| 大模型系统软件及其开源生态 | |
| 可信泛在智能软件系统论坛 | |
| 高可信人机物融合智能系统论坛 | |
| 不确定性软件理论与工程论坛 | |
| 移动软件工程论坛 | |
| 形式验证@EDA论坛 | |
| 形式化方法在系统软件中的应用论坛 | |
| 软件供应链安全论坛 | |
| 神经符号融合软件的前沿理论和方法论坛 | |
| 软件工程女性论坛 | |
| 软件前沿技术导引论坛 | |
| 青年人才成长论坛 | |
| 云际计算技术论坛 | |
| 开源生态治理分论坛 | |
| 专刊论坛 | 大模型下的软件质量保障论坛 |
| 新兴软件与系统的可信赖性与安全论坛 | |
| RISC-V系统软件及软硬协同技术论坛 | |
| 形式化方法与应用论坛 | |
| 面向边缘侧大模型优化的关键技术论坛 | |
| 面向复杂系统的软件分析与测试论坛 | |
| 基础模型之下的软件工程论坛 | |
| 工业论坛 | AIGC赋能软件工程：工业应用、实践与挑战 |
| RISC-V系统软件及软硬协同前沿展望论坛 | |
| 智能化高可信嵌入式软件工程论坛 | |
| 软件定义汽车：基础软件与开发实践 | |
| 高端行业软件与AI融合发展论坛 | |
| 工业嵌入式基础软件论坛 | |
| 云原生与智能化运维论坛 | |
| 教育论坛 | 软件通识教育论坛 |
| 程序设计教育论坛 | |
| 软件工程教育论坛 | |
| 系统软件教育论坛 | |
| 形式化方法教育论坛 | |
| 常设论坛 | 顶会顶刊 |
| 优秀博士生激励计划 | |
| 优秀博士生 | |
| 优秀青年学者 | |
| 联合活动 | AIware 论坛 |
| 竞赛 | 软件自动修复竞赛 |
| 软件研究成果原型系统竞赛 |