模型检测暑期讲习班照片



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