时间

演讲人

题目

主持人

9:00-9:40

瞿裕忠教授

万维网软件技术漫谈

李宣东

9:40-10:20

李昂生 研究员

Local Theory of Networks: Principles and Experiments

10:20-10:40

茶歇

10:40-11:20

申富饶副教授

Local-SOINN: 基于局部数据的在线增量式聚类方法

11:20-12:00

张健研究员

软件测试与分析中的约束求解与优化问题

14:00-14:40

王林章副教授

目标制导的混合执行测试方法

陈海明

14:40-15:20

柳欣欣研究员

命题动态逻辑(PDL),判定问题，完备性，和在并发系统描述中的应用

15:20-15:40

茶歇

15:40-16:20

杨潇潇博士

A temporal Programming Model with Atomic Blocks

16:20-17:00

座谈交流专家

座谈交流