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