| 12月23日 |
19:30-21:30 |
CCF软件工程专委会年会 |
闭门会议 |
|
| 12月24日上午 |
8:30~12:30 |
顶会顶刊论坛 |
275 898 718 |
https://live.bilibili.com/23973594 |
| 优秀博士生论坛 |
688 980 445 |
https://live.bilibili.com/23973535 |
| 智能化软件与软件控制论论坛 |
253 817 838 |
https://live.bilibili.com/23973808 |
| 定理证明理论与应用论坛 |
136 388 675 |
https://live.bilibili.com/23973956
|
| 系统软件安全论坛 |
774 915 183 |
https://live.bilibili.com/23973982
|
| 深度学习在开源软件中的应用和实践论坛 |
857 838 583 |
https://live.bilibili.com/23973989
|
| 系统软件教研论坛 |
796 628 157 |
http://live.bilibili.com/23974535
|
| 领域软件工程论坛 |
780 964 780 |
http://live.bilibili.com/23974531
|
| 华为-CCF专委会创新论坛 |
351 682 789 |
http://live.bilibili.com/23974700
|
| 面向人工智能的推荐系统前沿研究论坛 |
872 239 468 |
http://live.bilibili.com/12361036
|
| 软件供应链理论与实践论坛 |
379 403 255 |
http://live.bilibili.com/23973485
|
| 嵌入式操作系统论坛 |
681 958 081 |
http://live.bilibili.com/14619169
|
| 12月24日下午
|
14:00~18:00 |
顶会顶刊论坛 |
275 898 718 |
https://live.bilibili.com/23973594 |
| 百答论坛 |
857 358 730 |
https://live.bilibili.com/23973535
|
| 微服务与智能运维论坛 |
602 641 901 |
https://live.bilibili.com/23973808
|
| 高可信嵌入式软件工程技术论坛 |
959 241 549 |
https://live.bilibili.com/23973956
|
| 面向AI计算能耗调控的系统软件方法与技术论坛 |
489 386 236 |
https://live.bilibili.com/23973982
|
| 电子设计自动化软件验证论坛 |
663 568 748 |
https://live.bilibili.com/23973989
|
| 系统软件教研论坛（13:30~18:00） |
796 628 157 |
http://live.bilibili.com/23974535
|
| 计算机软件通识教育论坛 |
891 267 861 |
http://live.bilibili.com/23974531
|
| 华为-CCF专委会创新论坛 |
351 682 789 |
http://live.bilibili.com/23974700
|
| 人机物系统的建模理论与软件定义方法论坛 |
129 728 542 |
http://live.bilibili.com/12361036
|
| 形式化方法与应用论坛 |
256 239 722 |
http://live.bilibili.com/23973485
|
| 智能系统分析和验证论坛 |
970 711 365 |
http://live.bilibili.com/14619169
|
| 软件众测论坛 |
闭门会议 |
|
| 12月24日晚上 |
20:00~22:00 |
CCF系统软件专委会年会 |
闭门会议 |
|
| 12月25日 |
09:00~18:00 |
北京会场入住报到 |
北京友谊宾馆 |
|
| 12月25日上午
|
10:40~12:30 |
程序设计教育论坛 |
635 474 206 |
https://live.bilibili.com/23973594 |
| 9:00~12:30 |
软件实践教学论坛 |
264 234 599
|
https://live.bilibili.com/23973535
|
| 10:40~12:30 |
“工业软件”定义“智能制造”论坛 |
585 592 982
|
https://live.bilibili.com/23973808
|
| 优秀青年学者论坛 |
148 729 044
|
https://live.bilibili.com/23973956
|
| 云原生软件技术与工程实践论坛 |
601 574 890
|
https://live.bilibili.com/23973982
|
| 领域软件工程论坛 |
957 214 160
|
http://live.bilibili.com/23974531
|
| 软件数据智能化分析论坛 |
319 464 269
|
http://live.bilibili.com/23974700
|
| 可持续演化的智能化软件理论、方法和技术论坛 |
闭门会议
|
|
| 形式化方法与应用论坛 |
596 557 845
| http://live.bilibili.com/23973485
|
| 智能系统分析和验证论坛 |
500 197 647
| http://live.bilibili.com/14619169
|
| 12月25日下午
|
14:00~18:00 |
程序设计教育论坛 |
635 474 206 |
https://live.bilibili.com/23973594 |
| 软件工程教育论坛 |
788 556 765
|
https://live.bilibili.com/23973535
|
| “工业软件”定义“智能制造”论坛 |
585 592 982
|
https://live.bilibili.com/23973808
|
| 优秀青年学者论坛 |
148 729 044
|
https://live.bilibili.com/23973956
|
| 金融科技前沿技术与发展论坛 |
252 995 956
|
https://live.bilibili.com/23973989
|
| 云原生软件技术与工程实践论坛 |
601 574 890
|
https://live.bilibili.com/23973982
|
| 软件数据智能化分析论坛 |
319 464 269
|
http://live.bilibili.com/23974700
|
| 云际计算技术论坛 |
520 907 831
|
http://live.bilibili.com/23974535
|
| 软件工程产业论坛 |
684 501 678
|
http://live.bilibili.com/23974531
|
| 形式化方法教育论坛 |
490 779 805
|
http://live.bilibili.com/12361036
|
| 基础软件产业与生态开放论坛 |
584 270 334
|
http://live.bilibili.com/23973485
|
| 开源软件技术与教育研讨会 |
163 524 173
|
http://live.bilibili.com/14619169
|
| 基于互联网群体智能的软件开发方法 |
闭门会议
|
|
| 软件工程教学案例交流与竞赛 |
803 375 492
|
https://live.bilibili.com/11093032
|
| 12月25日晚上 |
20:00~22:00
|
CCF形式化方法专委会年会
|
闭门会议 |
|
| 12月26日上午 |
08:30~09:10
|
开幕式
|
梅宏院士致辞 |
北京友谊宾馆；
线上直播平台：
http://ccf2021.kailimice.cn
扫码观看视频直播/回看
|
| 王泉副校长致辞 |
| 林惠民院士致辞 |
| 李青山教授介绍大会情况 |
| 09:10~09:40
|
特邀报告
|
梅宏院士致辞 |
| 09:40-10:10
|
杨孟飞 院士报告 |
| 10:10~10:30
|
茶歇；集体照 |
| 10:30~11:00
|
冯登国 院士报告 |
| 11:00~11:30
|
孙凝晖 院士报告 |
| 11:30~12:00
|
钱德沛 院士报告 |
| 12:00~13:30
|
午餐 |
| 12月26日下午 |
13:30~14:50
|
NASAC青年软件创新奖论坛
|
特邀报告人：胡欣蔚 |
| 获奖报告人：刘烃 |
| 获奖报告人：熊英飞 |
| 获奖报告人：陈铭松 |
| 14:50~15:10
|
茶歇 |
15:10~15:40 |
第四届中国软件开源创新大赛颁奖 |
1）王怀民院士致辞
2）组委会介绍大赛情况
3）宣读获奖名单
4）为获奖队伍代表颁奖
5）大赛交接仪式
6）下一届大赛主办方发言
|
| 15:40~16:30
|
闭幕式
|
大会颁奖 |
| 软件工程教学案例交流与竞赛颁奖 |
| 下届大会举办单位宣讲与接旗 |
| 本届大会总结 |
| 大会闭幕 |
