会议日程
  

  中国科学院软件研究所2021年学术年会 

  会议日程 

  时间:202198 

  地点:中国科学院软件园区5号楼四层大报告厅 

时间 

事项 

报告人 

大会开幕 

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 

颁发优秀海报奖 

魏峻、李会元