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

　　大会报告 

　　时间：2018年5月18日 

　　地点：中国科学院软件园区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  韩先培(End-to-End Semantic Parsing) 

　　16:30-16:50  许利杰(面向智能时代的实时大数据系统软件研究进展) 

　　16:50-17:10  马菲菲(短波广播资源优化调度算法研究) 

　　17:10-17:30  周  鹏(自动编程：可微分抽象演算规则解释器)