时间：2019年5月17日
地点：中国科学院软件园区5号楼四层大报告厅
14:00-14:20 密钥封装机制的抗量子安全性 张振峰
14:20-14:40 天地一体化组网与验证平台技术 刘立祥
14:40-15:00 基于草图的可视媒体智能处理与交互技术 马翠霞
15:00-15:20 交互式定理证明 詹伯华
15:20-15:40 模型驱动的跨学科时空数据可视化系统 杨立
15:40-16:00 面向国产处理器的异构众核并行稀疏迭代解法器 刘芳芳
16:30-16:50 大规模分布式系统中节点失效恢复缺陷分析与检测 窦文生
16:50-17:10 新型智能自助结算 张立波
17:10-17:30 任务完成感知的众测管理方法 王俊杰
