 |
|
||||||||||||||
 |
 |
 |
 |
 |
 |
||||||||||
|
|
||||||||||||||
|
|||||||||||||||
|
|
||||||||||||||
验室将在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 |
欢迎大家参加！
