时间 

事项 

报告人 

大会开幕 

09:00-09:05 

大会介绍 

魏峻 

09:05-09:10 

所长致辞 

赵琛 

09:10-09:15 

颁发优秀组织奖 

林惠民 

第一场：特邀报告一（主持：魏峻） 

09:15-09:55 

云际计算  

王怀民 

09:55-10:35 

基于环境建模的需求工程方法  

金芝 

10:35-10:50 

海报展览交流 

第二场：特邀报告二（主持：李会元） 

10:50-11:20 

Deep Cooperation of CDCL and Local Search for SAT 

蔡少伟 

11:20-11:50 

Rethinking PLMs as KG:大规模预训练语言模型作为知识库的反思 

韩先培 

午休 

第三场：学术报告一（主持：韩腾，主持人给报告人颁发感谢牌） 

13:30-13:50 

基于期望的量子关系Hoare逻辑 

李杨佳 

13:50-14:10 

EarthDataMiner:地球大数据挖掘分析系统及关键技术 

刘杰 

14:10-14:30 

存储时间证明——高效的数据持续可用性检测技术 

陈隆 

14:30-14:45 

海报展览交流 

第四场：学术报告二（主持：侯飞，主持人给报告人颁发感谢牌） 

14:45-15:05 

语义时序识别的极限要素仿真分析 

王鹏 

15:05-15:25 

实时仿真与智能 

何小伟 

15:25-15:45 

以DLPU为中心的深度学习计算系统 

李玲 

15:45-16:00 

海报展览交流 

第五场：学术报告三（主持：和亮，主持人给报告人颁发感谢牌） 

16:00-16:20 

SMT公式的解计数方法 

马菲菲 

16:20-16:40 

面向群智的问题及解决方案自动提取技术 

石琳 

16:40-17:00 

颁发优秀海报奖 

魏峻、李会元