第一场：开幕及特邀报告 （主席：王 青） 

09:00-09:05 

大会介绍 

09:05-09:10 

所领导致词 

09:10-10:00 

林惠民：谈研究 

10:00-10:30 

茶歇及海报展览交流 

第二场：学术报告一（主席：胡晓惠） 

10:30-10:50 

田 丰：笔式人机交互关键技术及应用 

10:50-11:10 

张振峰：Post-quantum Secure Communication: Authenticated Key Exchange from Lattices 

11:10-11:30 

杨 超：623 Tflop/s HPCG run on Tianhe-2:Leveraging millions of hybrid cores 

11:30-11:50 

蔡少伟：复杂度与质量的平衡：搜索大图中的小顶点覆盖 

午休 

第三场：特邀报告（主席：沈一栋） 

14:00-14:45 

戴国忠：我对人机交互的一些思考 

14:45-15:00 

茶歇及海报展览交流 

第四场：学术报告二（主席：王文成） 

15:00-15:20 

王永吉: 操作系统中隐蔽信道的设计及建模 

15:20-15:40 

陈 波：弱监督语义知识获取技术 

15:40-16:00 

石  磊：基于多样性传导实验设计的主动学习方法 

16:00-16:20 

茶歇及海报展览交流 

第五场：学术报告三（主席：钟华） 

16:20-16:40 

蔡 彦: 程序bug的自动修复 

16:40-17:00 

窦文生: Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation 

17:00-17:20 

谢 淼: DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization 

17:20-17:30 

结束