验室将在5月21日-22日举办计算机软件新技术-计算机科学国家重点实验联合学术研讨会,

日程如下:

计算机软件新技术-计算机科学国家重点实验联合学术研讨会

2010年5月21-22日 北京

5月21日 地点:软件所5号楼4层报告厅

时间
演讲人
题目
9:30-11:00
John Hopcroft
Progress in new computer science research directions
14:00-15:20
Giuseppe Castagna
Tackling parametric polymorphism for XML transformations
15:20-15:30
茶 点
15:30-16:20
宋方敏
Introduction to Quantum Computation
16:20-17:00
张文辉
CTL限界语义与限界模型检测
17:00-17:50
周毓明
Re-examining the potentially confounding effect of class size in the validation of object-oriented metrics on fault-proneness

 

5月22日 地点:软件所5号楼3层报告厅

时间
演讲人
题目
9:00-9:40
李广元
Model Checking Time-Constraint LTL Properties for Timed Automata
9:40-10:30
叶保留
Design Issues on P2P-based Video-on-Demand Streaming Services
10:30-10:50
茶 点
10:50 -11:30
张震宇
Debugging-oriented Optimization of Software Testing - How academic research support industrial activities

 

欢迎大家参加!