2009-10-14 ~ 2009-10-16 |
Chung-Kil Hur
University of Cambridge, UK
|
2009-10-01 ~ 2009-12-30 |
Cristina David
National University of Singapore, Singapore
|
2009-09-27 ~ 2010-03-31 |
Lucas Brutschy
RWTH Aachen University, Germany
|
2009-09-08 ~ 2009-09-10 |
Tankut Baris Aktemur
Ozyegin University, Turkey
|
2009-06-21 ~ 2009-09-12 |
Bow-Yaw Wang
Institute of Information Science, Academia Sinica, Taiwan
|
2009-06-16 ~ 2009-06-20 |
Hugo Herbelin
INRIA, FRANCE
|
2009-05-31 ~ 2009-06-07 |
Gogul Balakrishnan
NEC Laboratories America, Inc., USA
|
2009-05-21 ~ 2009-08-10 |
Will Klieber
Computer Science Department, Carnegie Mellon University, USA
|
2009-05-11 ~ 2009-05-12 |
Peter O'Hearn
Queen Mary, University of London, UK
|
2009-04-29 ~ 2009-05-04 |
Ji Wang, Wei Dong National University of Defense Technology, China |
2009-01-19 ~ 02-03 |
Jerome Feret
,INRIA, France
(also associated with ENS, France
and CNRS, France)
|
2008-09-28 ~ 10-4 |
Patrick Cousot
,ENS, France
|
2006-01-16 |
David Park,
Coverity, Inc., U.S.A.
|
2006-01-08 ~14 |
John Reynolds,
School of Computer Science, Carnegie Mellon University, U.S.A.
|
2006-01-06 |
Junghee Lim,
Department of Computer Science, University of Wisconsin-Madison, U.S.A.
|
2005-11-08 ~15 |
Cristiano Calcagno,
Department of Computing, Imperial College, U.K.
|
2005-11-08 ~15 |
Josh Berdine,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2005-11-08 ~15 |
Ivana Mijajlovic,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2005-11-08 ~15 |
Dino Distefano,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2005-10-23 ~29 |
Lars Birkedal,
Theory Department, IT University of Copenhagen, Denmark
|
2005-10-02 ~15 |
Dan Ghica,
School of Computer Science, University of Birmingham, U.K.
|
2005-03-06 ~28 |
Dino Distefano,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2005-02-22 ~03-29 |
Peter W. O'Hearn,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2004-09-15 ~09-17 |
Atsushi Ohori,
School of Information Science, Japan Advanced Institute of Science and Technology
|
2004-09-15 ~09-17 |
Kwanghoon Choi,
School of Information Science, Japan Advanced Institute of Science and Technology
|
2004-05-25 ~06-28 |
Peter W. O'Hearn,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2004-05-11 ~05-30 |
Cristiano Calcagno,
Department of Computing, Imperial College, U.K.
|
2003-03-10 ~13 |
Nikolay Shilov,
Institute of Informatics Systems , Russia
|
2002-12-09 |
Jeong Han Kim,
Microsoft Research, U.S.A.
|
2002-07-03 ~07-20 |
Uday S. Reddy,
School of Computer Science, University of Birmingham, U.K.
|
2002-06-24 ~07-15 |
Peter W. O'Hearn,
Department of Computer Science, Queen Mary, University of London, U.K.
|
2001-07-06 ~08-05 |
Andrzej Murawski,
Computing Laboratory Oxford University, U.K.
|
2001-06-04 ~08-19 |
Jeff Sarnat,
School of Computer Science CMU, U.S.A.
|
2001-06-03 ~06-05 |
Carolyn Talcott,
CS, Stanford University, USA
|
2001-05-30 ~06-01 |
George Necula,
EECS, UC Berkeley, USA
|
2001-05-27 ~05-30 |
Luke Ong,
Computing Laboratory, Oxford University , UK
|
2001-04-29 ~05-02 |
Naoki Kobayashi,
Tokyo Institute of Technology, Japan
|
2000-12-12 |
Jongdeok Choi,
IBM T.J.Watson, U.S.A.
|
2000-12-01 |
Kyuseok Shim,
Division of Computer Science, KAIST, Korea
|
2000-11-24 |
Limsoon Wong,
Kent Ridge Digital Lab. and National Singapore University, Singapore
|
2000-07-21 ~10-20 |
Fermin Reig,
Dept. of Computing Science, Univ. of Glasgow, U.K.
|
2000-07-19 ~20 |
Hongseok Yang,
Dept. of Computer Science, UIUC, U.S.A.
|
2000-06-20 ~08-20 |
Jeff Polakow,
School of Computer Science, CMU, U.S.A.
|
2000-06-12 ~16 |
Patrick Cousot,
Dept. of Computer Science, ENS, Paris, France
|
2000-04-28 |
Youngcook Jun,
Dept.of Computer Education, Sunchon National University, Korea
|
2000-04-24 ~26 |
Matthias Blume,
Research Institute of Mathematical Science(RIMS) Kyoto University, Japan
|
1999-11-18 ~20 |
Olivier Danvy,
Basic Research In Computer Science(BRICS), University of Aarhus, Denmark
|
1999-11-03 |
Gang-Ryung Uh,
Lucent Technologies, U.S.A.
|
1999-10-25 |
Jeong Han Kim,
Microsoft Research, U.S.A.
|
1999-10-20 ~23 |
Nikolay Shilov,
Institute of Informatics System, Russian Academy of Science, Russia
|
1999-08-01 ~2000-01-30 |
Charles Hymans,
Dept. of Computer Science, ENS, Paris, France
|
1999-08-25 ~29 |
Roberto Giacobazzi,
Universita di Verona, Italy
|
1999-08-23 ~24 |
Wolfram Amme,
Fredrick-Schiller University Jena, Germany
|
1999-06-21 ~25 |
Luddy Harrison,
Connected Components Corporation, U.S.A.
|
1999-04-05 ~10 |
Hongwei Xi,
Oregon Graduate Institute, U.S.A.
|
1999-02-10 ~12 |
Byeong-Mo Chang,
Dept. of Computer Science, Sookmyung Women's University
|
1999-02-07 ~13 |
Harald Sondergaard,
The University of Melbourne, Australia
|
1999-01-25 ~02-05 |
Mino Bai,
Dongduk Women's University
|
1998-12-07 ~10 |
Dejan Delic,
University of Waterloo, Canada
|
1998-06-24 ~27 |
Atsushi Ohori,
Research Institute for Mathematical Sciences, Kyoto University, Japan
|
1997-11-10 ~15 |
Patrick Cousot,
ENS, France
|