第四屆計算機科學與軟件新技術學術研討會
文章來源： | 發布時間：2011-11-18 | 【打印】 【關閉】
2011年11月22日北京
地點：軟件所5號樓334報告廳
|
時間 |
演講人 |
題目 |
主持人 |
|
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 |
座談交流專家 |
座談交流 |
|
