模型检测暑期讲习班照片 |
 Colin Stirling |
 Emerson |
 Katoen |
 Marta |
 Patrice |
 Wang Yi |
 会务组集体照 |
 会场1 |
 会场2 |
 会场3 |
 会场4 |
 吕毅 |
 张文辉 |
 晚宴1 |
 晚宴2 |
 晚宴3 |
 杨秋松 |
 王柏尧 |
 苏开乐 |
 郭华阳 |
Copyright © 2010 State Key Laboratory of Computer Science, ISCAS, Beijing