时间 

事项 

报告人 

大会开幕 

09:00-09:05 

大会介绍 

王青 

09:05-09:10 

所长致辞 

赵琛 

09:10-09:15 

颁发优秀组织奖 

林惠民 

第一场：特邀报告一（主持：王青） 

09:15-10:15 

《建设“数字空间”、打造“空间大脑”重大科技工程建议》的一些思考

魏奉思

10:15-10:55

数据赋能：从数据库到数据中台 

周傲英

10:55-11:10

海报展览交流 

第二场：特邀报告二（主持：丁治明） 

11:10-11:40

智能时代的人机交互 

田丰

11:40-12:10

光学智能计算研究进展 

徐帆江

午休 

第三场：学术报告一（主持：张硕） 

13:30-13:50 

交互式定理证明的自动化方法 

詹博华

13:50-14:10 

星链网络解析与仿真推演 

刘帅军

14:10-14:30 

基于大模型的移动应用程序智能化测试 

刘哲

14:30-14:50 

神经网络鲁棒性度量评估

杨玉宽

14:50-15:05 

海报展览交流 

第四场：学术报告二（主持：王俊杰） 

15:05-15:25 

云边端协同的数据处理方法及智能卫星大脑关键应用 

张硕

15:25-15:45 

高效的分布式系统测试方法 

高钰

15:45-16:05 

面向数据中心的RISC-V高性能系统的研究与挑战 

张珩

16:05-16:25 

基于AUTHKEY的强认证与端到端加密邮件系统 

白琨鹏

16:25-16:45 

颁发优秀海报奖 

王青、丁治明