| Name | Institution | visit dates | Conf |
|---|
| Abdullah, P | Uppsala University | 8 May - 12 May | Y |
| Alechina, N | University of Nottingham | 8 May - 12 May | Y |
| Amir, E | University of Illinois | 8 May - 12 May | Y |
| ben-Amram, A | The Academic College of Tel-Aviv Yafo | 7 May - 14 May | Y |
| Berstel, B | ILOG SA | 7 May - 12 May | Y |
| Bierman, G | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Boigelot, B | Universite de Liege | 8 May - 12 May | Y |
| Bordeaux, L | Microsoft Research Ltd | 8 May - 12 May | Y |
| Bouajjani, A | University of Paris 7 | 8 May - 12 May | Y |
| Bradley, A | Stanford University | 7 May - 12 May | Y |
| Brihaye, T | Universite de Mons-Hainaut | 8 May - 12 May | Y |
| Cardelli, L | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Charatonik, W | University of Wroclaw | 7 May - 12 May | Y |
| Chevalier, Y | IRIT, Universite Paul Sabatier | 7 May - 12 May | Y |
| Clarke, E | Carnegie Mellon University | 7 May - 12 May | Y |
| Cook, B | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Cook, S | University of Toronto | 8 May - 12 May | Y |
| Cotton, S | Verimag, Centre Equation | 7 May - 13 May | Y |
| Cousot, P | ENS - DI | 7 May - 12 May | Y |
| Cousot, R | ENS - DI | 7 May - 12 May | Y |
| Dawar, A | University of Cambridge | 8 May - 12 May | Y |
| Dechter, R | University of California | 7 May - 12 May | Y |
| Delzanno, G | Universita di Genova | 7 May - 12 May | Y |
| Etessami, K | University of Edinburgh | 7 May - 12 May | Y |
| Fiore, M | University of Cambridge | 8 May - 12 May | Y |
| Fisler, K | Worcester Polytechnic Institute | 8 May - 12 May | Y |
| Fournet, C | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Ghafari, NH | University of Waterloo | 8 May - 12 May | Y |
| Giunchiglia, E | DIST - Universita di Genova | 8 May - 12 May | Y |
| Gordon, A | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Gordon, M | University of Cambridge | 8 May - 12 May | Y |
| Gotsman, A | University of Cambridge | 8 May - 12 May | Y |
| Griffin, T | University of Cambridge | 8 May - 12 May | Y |
| Grumberg, O G | TECHNION - Israel Institute of Technology | 9 May - 12 May | Y |
| Gupta, A | NEC Labs America | 7 May - 12 May | Y |
| Hamadi, Y | Microsoft Research Ltd | 7 May - 12 May | Y |
| Hanna, Z | Intel Corp | 7 May - 12 May | Y |
| Havlicek, J | Freescale, Inc. | 7 May - 12 May | Y |
| Hella , L | University of Tampere | 8 May - 12 May | Y |
| Hill, P | University of Leeds | 8 May - 12 May | Y |
| Hoare, T | Microsoft Research Cambridge | 8 May - 12 May | Y |
| Hunter, P | University of Cambridge | 8 May - 12 May | Y |
| Hyland, M | University of Cambridge | 8 May - 12 May | Y |
| Jeavons, P | Oxford University | 7 May - 12 May | Y |
| Jemni Ben Ayed, L | University of Tunis | 8 May - 12 May | Y |
| Junker, U | ILOG | 7 May - 12 May | Y |
| Jurdzinski, M | University of Warwick | 7 May - 12 May | Y |
| Klaedtke, F | ETH Zentrum | 8 May - 12 May | Y |
| Klarlund, NK | Google Inc | 7 May - 13 May | Y |
| Krajicek, J | Prague | 8 May - 12 May | Y |
| Kreutzer, S | Humboldt-Universitat zu Berlin | 8 May - 12 May | Y |
| Kroening, D | ETH Zentrum | 7 May - 11 May | Y |
| Krokhin, A | University of Durham | 7 May - 12 May | Y |
| Kulesza, K | University of Cambridge | 8 May - 12 May | Y |
| Kullmann, O | University of Wales, Swansea | 7 May - 13 May | Y |
| Kwiatkowska, M Z | University of Birmingham | 8 May - 12 May | Y |
| Leconte, M | ILOG SA | 7 May - 12 May | Y |
| Legay, A | University of Liege | 7 May - 12 May | Y |
| Lisitsa, A | University of Liverpool | 7 May - 13 May | Y |
| Lugiez, D | CMI | 7 May - 11 May | Y |
| Madelaine, F | University of Durham | 8 May - 12 May | Y |
| Maler, O | Verimag | 8 May - 12 May | Y |
| Manna, Z | Stanford University | 8 May - 12 May | Y |
| Marques-Silva, J | University of Southampton | 7 May - 12 May | Y |
| Martin, B | University of Durham | 8 May - 12 May | Y |
| Martin, U | Queen Mary, University of London | 8 May - 12 May | Y |
| McMillan, K | Cadence Berkeley Labs | 7 May - 12 May | Y |
| Michaux, C | Universite de Mons-Hainaut | 8 May - 12 May | Y |
| Middeldorp, A | University of Innsbruck | 7 May - 12 May | Y |
| Mitchell, D | Simon Fraser University | 7 May - 12 May | Y |
| Mukhopadhyay, S | West Virginia University | 7 May - 12 May | Y |
| Nain, S | Rice University | 8 May - 12 May | Y |
| Namjoshi, K | Bell Labs | 8 May - 12 May | Y |
| Naveh, Y | IBM Research Lab in Haifa | 7 May - 12 May | Y |
| Nicolini, E | Universita degli Studi di Milano | 7 May - 12 May | Y |
| Pitts, A | University of Cambridge | 8 May - 12 May | Y |
| Podelski, A | MPI, Saarbrucken | 8 May - 12 May | Y |
| Qadeer, S | Microsoft Research | 7 May - 12 May | Y |
| Raskin, JFR | Universite Libre de Bruxelles | 7 May - 12 May | Y |
| Revesz, P | Max-Planck-Institut fur Informatik | 8 May - 12 May | Y |
| Rozier, KY | Rice University | 8 May - 12 May | Y |
| Rybalchenko, A | Max Planck Institute fuer Informatik | 8 May - 12 May | Y |
| Sakallah, K | University of Michigan | 7 May - 13 May | Y |
| Sankaranarayanan, S | NEC Labs America | 7 May - 13 May | Y |
| Sebastiani, R | Universita di Trento | 7 May - 12 May | Y |
| Tabakov, D | Rice University | 8 May - 12 May | Y |
| Ternovska, E | Simon Fraser University | 8 May - 12 May | Y |
| van Dongen, M | University College Cork | 7 May - 13 May | Y |
| Vardi, M | Rice University | 8 May - 12 May | Y |
| Verma, R | University of Houston | 7 May - 12 May | Y |
| Vollmer, H | Universitaet Hannover | 8 May - 12 May | Y |
| Vorobyov, S | Uppsala University | 7 May - 12 May | Y |
| Winskel, G | University of Cambridge | 8 May - 12 May | Y |
| Wolper, P | Université de Liege | 10 May - 12 May | Y |
| Zucchelli, D | Universita degli Studi di Milano | 7 May - 12 May | Y |