10/07/13 ~ 11/17/13 |
![](xavier rival.jpg) |
Xavier Rival
École Normale Supérieure, France
|
09/29/13 ~ 11/03/13 |
![](georg neis.jpg) |
Georg Neis
MPI-SWS, Germany
|
10/09/12 ~ 03/29/13 |
![](DIVY VASAL.jpg) |
Divy Vasal
Indian Institute of Technology, India
|
10/15/11 ~ 02/15/12 |
![](Ludovic_Patey.jpg) |
Ludovic Petey
École Normale Supérieure, France
|
06/01/11 ~ 09/05/11 |
![](Cristian Andrei Gherghina.JPG) |
Cristian Gherghina
National University of Singapore, Singapore
|
05/07/11 ~ 07/19/11 |
![](Saransh.jpg) |
Saransh Srivastava
India Institute of Technology Kanpur, India
|
05/01/11 ~ 05/08/11 |
![](Tom_Schrijvers.jpg) |
Tom Schrijvers
Katholieke Universiteit Leuven, Belgium
|
03/01/11 ~ 06/15/11 |
![](Jie Chen.jpg) |
Jie Chen
National University of Defense Technology, China
|
03/01/11 ~ 08/15/11 |
![](Ludovic_Patey.jpg) |
Ludovic Petey
École Normale Supérieure, France
|
06/21/10 ~ 08/20/10 |
![](Ning_Chen.jpg) |
Ning Chen
Department of Computer Science and Engineering, HKUST, China
|
06/12/10 ~ 08/19/10 |
![](Bow-Yaw_Wang.jpg) |
Bow-Yaw Wang
Institute of Information Science, Academia Sinica, Taiwan
|
05/13/10 ~ 08/09/10 |
![](Ben_Lickly.jpg) |
Ben Lickly
Electrical Engineering and Computer Sciences, Berkeley, University of California, USA
|
04/12/10 ~ 04/30/10 |
![](Tom_Schrijvers.jpg) |
Tom Schrijvers
Katholieke Universiteit Leuven, Belgium
|
10/01/09 ~ 12/30/09 |
![](Cristina_David.jpg) |
Cristina David
National University of Singapore, Singapore
|
09/27/09 ~ 03/31/10 |
![](Lucas_Brutschy.jpg) |
Lucas Brutschy
RWTH Aachen University, Germany
|
09/08/09 ~ 09/10/09 |
![](Tankut.jpg) |
Tankut Baris Aktemur
Ozyegin University, Turkey
|
06/21/09 ~ 09/12/09 |
![](Bow-Yaw_Wang.jpg) |
Bow-Yaw Wang
Institute of Information Science, Academia Sinica, Taiwan
|
06/16/09 ~ 06/20/09 |
![](Hugo_Herbelin.jpg) |
Hugo Herbelin
INRIA, FRANCE
|
05/31/09 ~ 06/07/09 |
![](Gogul_Balakrishnan.jpg) |
Gogul Balakrishnan
NEC Laboratories America, Inc., USA
|
05/21/09 ~ 08/10/09 |
![](Will_Klieber.jpg) |
Will Klieber
Computer Science Department, Carnegie Mellon University, USA
|
05/11/09 ~ 05/12/09 |
![](Peter_OHearn.jpg) |
Peter O'Hearn
Queen Mary, University of London, UK
|
04/29/09 ~ 05/04/09 |
|
Ji Wang, Wei Dong
National University of Defense Technology, China
|
01/19/09 ~ 02/03/09 |
![](Jerome_FERET.jpg) |
Jérôme Feret
INRIA/ENS/CNRS, France
|
09/28/08 ~ 10/04/08 |
![](Patrick_Cousot.jpg) |
Patrick Cousot
École Normale Supérieure, France
|
include "../include/menu.html";
include "../include/footer.html";
?>