时间 

事项 

报告人 

大会开幕 

09:00-09:05 

大会介绍 

武延军 

09:05-09:10 

所长致辞 

赵琛 

09:10-09:15 

颁发优秀组织奖 

林惠民 

第一场：特邀报告一（主持：武延军） 

09:15-09:55 

关于科学研究第五范式的思考 

孙凝晖 

09:55-10:35 

万物智联时代的操作系统与OpenHarmony实践 

陈海波 

10:35-10:50 

海报展览交流 

第二场：特邀报告二（主持：孙乐） 

10:50-11:20 

软件漏洞自动利用研究的价值与挑战 

苏璞睿  

11:20-11:50 

智能算法的形式验证与分析 

张立军 

午休 

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

13:30-13:50 

字符串约束求解器OSTRICH：倒着走的智慧 

吴志林 

13:50-14:10 

AUGER：基于预训练模型的代码审查意见自动生成方法 

杨立 

14:10-14:30 

面向时序图的事件预测 

田超 

14:30-14:50 

面向自动驾驶仿真测试的关键场景生成技术 

吴国全 

14:50-15:05 

海报展览交流 

第四场：学术报告二（主持：马龙龙） 

15:05-15:25 

FDNet：一种双路编码的短临降雨预报深度学习方法 

闫碧莹 

15:25-15:45 

知识驱动的智能化测试服务构建 

李明阳 

15:45-16:05 

开源数据智能处理与挖掘分析 

王瑞 

16:05-16:25 

三维手势获取与交互研究 

邓小明 

16:25-16:45 

颁发优秀海报奖 

武延军、孙乐