| Name | Institution | visit dates | Conf |
|---|
| Alechina, N | University of Nottingham | 3 Jul - 7 Jul | Y |
| Altenbernd, J | RWTH - Aachen | 2 Jul - 7 Jul | Y |
| Alur, R | University of Pennsylvania | 3 Jul - 7 Jul | Y |
| Apt, KR | CWI | 3 Jul - 4 Jul | Y |
| Arratia Quesada, A | Universidad de Valladolid | 2 Jul - 7 Jul | Y |
| Barany, V | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Berwanger, D | Universite Bordeaux 1 | 2 Jul - 7 Jul | Y |
| Björklund, H | University of Dortmund | 2 Jul - 7 Jul | Y |
| Bojanczyk, M | Warsaw University | 3 Jul - 7 Jul | Y |
| Brihaye, T | Universite de Mons-Hainaut | 3 Jul - 7 Jul | Y |
| Cabessa, J | Université de Lausanne | 3 Jul - 7 Jul | Y |
| Cachat, T | Université Denis Diderot | 3 Jul - 7 Jul | Y |
| Caucal, D | IRISA-CNRS | 2 Jul - 8 Jul | Y |
| Colcombet, T | IRISA | 2 Jul - 7 Jul | Y |
| Cristau, J | Laboratoire d'Informatique Algorithmique | 2 Jul - 7 Jul | Y |
| David, C | Laboratoire d'Informatique Algorithmique | 2 Jul - 7 Jul | Y |
| Dawar, A | University of Cambridge | 3 Jul - 7 Jul | Y |
| Dicky, A | University of Bordeaux 1 | 2 Jul - 7 Jul | Y |
| Diekert, V | Universitat Stuttgart, FMI | 3 Jul - 7 Jul | Y |
| Duparc, J | Universite de Lausanne | 2 Jul - 7 Jul | Y |
| Esparza, J | Universität Stuttgart | 2 Jul - 7 Jul | Y |
| Etessami, K | University of Edinburgh | 3 Jul - 7 Jul | Y |
| Fischer, D | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Fournet, C | Microsoft Research Cambridge | 3 Jul - 7 Jul | Y |
| Fröschle, S | Warsaw University | 2 Jul - 7 Jul | Y |
| Ganzow, T | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Gastin , P | Laboratoire Spécification et Vérification | 3 Jul - 7 Jul | Y |
| Gimbert, H | Warsaw University | 2 Jul - 7 Jul | Y |
| Goranko, V | University of the Witwatersrand | 2 Jul - 7 Jul | Y |
| Gottlob, G | University of Oxford | 2 Jul - 7 Jul | Y |
| Grädel, E | Aachen University | 2 Jul - 7 Jul | Y |
| Hague, M | University of Oxford | 3 Jul - 7 Jul | Y |
| Hella , L | University of Tampere | 3 Jul - 7 Jul | Y |
| Horn, F | Laboratoire d'Informatique Algorithmique | 2 Jul - 7 Jul | Y |
| Hunter, P | University of Cambridge | 3 Jul - 7 Jul | Y |
| Immerman, N | University of Massachusetts | 3 Jul - 7 Jul | Y |
| Janin, D J | Université Bordeaux-1 | 2 Jul - 7 Jul | Y |
| Jonsson, B | Uppsala University | 3 Jul - 7 Jul | Y |
| Jurdzinski, M | University of Warwick | 3 Jul - 7 Jul | Y |
| Kaiser, L | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Karianto, W | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Kopczynski, E | Uniwersytet Warszawski | 2 Jul - 7 Jul | Y |
| Krajicek, J | Prague | 3 Jul - 7 Jul | Y |
| Krcal, P | Uppsala University | 2 Jul - 7 Jul | Y |
| Kreutzer, S | Humboldt-Universitat zu Berlin | 3 Jul - 7 Jul | Y |
| Kulesza, K | University of Cambridge | 3 Jul - 7 Jul | Y |
| Lange, M | University of Munich | 2 Jul - 7 Jul | Y |
| Lasota, S | Warsaw University | 4 Jul - 7 Jul | Y |
| Lazic, R | University of Warwick | 2 Jul - 7 Jul | Y |
| Loeding, C | RWTH Aachen | 3 Jul - 7 Jul | Y |
| Lynch, JF | Clarkson University | 3 Jul - 7 Jul | Y |
| Martin, B | University of Durham | 5 Jul - 7 Jul | Y |
| Martin, U | Queen Mary, University of London | 3 Jul - 7 Jul | Y |
| Marx, M J | Universiteit van Amsterdam | 3 Jul - 7 Jul | Y |
| Mendler, M | University of Bamberg | 2 Jul - 7 Jul | Y |
| Michaux, C | Universite de Mons-Hainaut | 3 Jul - 7 Jul | Y |
| Mitchell, D | Simon Fraser University | 3 Jul - 7 Jul | Y |
| Moller, F | University of Wales, Swansea | 3 Jul - 7 Jul | Y |
| Monderer, D | Technion | 2 Jul - 6 Jul | Y |
| Murawski, A | University of Oxford | 2 Jul - 7 Jul | Y |
| Murlak, F | Warsaw University | 2 Jul - 7 Jul | Y |
| Muscholl, A | Université Paris 7 | 2 Jul - 7 Jul | Y |
| Nain, S | Rice University | 3 Jul - 7 Jul | Y |
| Niwinski, D | Warsaw university | 3 Jul - 7 Jul | Y |
| Obdrzalek, J | Masaryk University, Brno | 2 Jul - 7 Jul | Y |
| Ong, L | University of Oxford | 3 Jul - 7 Jul | Y |
| Otto, M | Darmstadt University of Technology | 3 Jul - 7 Jul | Y |
| Pin, JE | LIAFA | 3 Jul - 7 Jul | Y |
| Quickert, S | University of Edinburgh | 3 Jul - 7 Jul | Y |
| Rozier, KY | Rice University | 3 Jul - 7 Jul | Y |
| Samuelides, M | Universite Denis Diderot | 3 Jul - 7 Jul | Y |
| Schwentick, T | Universität Dortmund - Lehrstuhl Informatik I | 3 Jul - 7 Jul | Y |
| Segoufin, L | INRIA | 3 Jul - 7 Jul | Y |
| Serre, O | Université Paris 7 | 2 Jul - 7 Jul | Y |
| Sistla, P | University of Illinois at Chicago | 3 Jul - 7 Jul | Y |
| Stewart, I A | University of Durham | 3 Jul - 7 Jul | Y |
| Stirling, C | University of Edinburgh | 2 Jul - 8 Jul | Y |
| Strejcek, J | Universite Bordeaux 1 | 2 Jul - 7 Jul | Y |
| Sznajder, N | ENS Cachan | 3 Jul - 7 Jul | Y |
| Tabakov, D | Rice University | 3 Jul - 7 Jul | Y |
| Ternovska, E | Simon Fraser University | 3 Jul - 7 Jul | Y |
| Thomas, W | RWTH Aachen | 3 Jul - 7 Jul | Y |
| To, AW | University of Toronto | 2 Jul - 7 Jul | Y |
| Touili, T | LIAFA - Universite Paris 7 | 2 Jul - 7 Jul | Y |
| Trefler, R | University of Waterloo | 3 Jul - 7 Jul | Y |
| Trivedi, A | University of Warwick | 3 Jul - 7 Jul | Y |
| Ummels, M | RWTH Aachen | 2 Jul - 7 Jul | Y |
| van Benthem, J | University of Amsterdam | 2 Jul - 8 Jul | Y |
| van Drimmelen, G | University of the Witwatersrand | 1 Jul - 8 Jul | Y |
| Vardi, M | Rice University | 3 Jul - 7 Jul | Y |
| Veith, H | Institut fur Informatik, Germany | 3 Jul - 7 Jul | Y |
| Venema, Y | University of Amsterdam | 2 Jul - 7 Jul | Y |
| Vincent, A | Universite Bordeaux 1 | 3 Jul - 7 Jul | Y |
| Vorobyov, S | Uppsala University | 3 Jul - 7 Jul | Y |
| Wallmeier, N | RWTH Aachen | 2 Jul - 7 Jul | Y |
| Walukiewicz, I | Université Bordeaux-1 | 2 Jul - 7 Jul | Y |
| Worrell, J | University of Oxford | 3 Jul - 7 Jul | Y |
| Xie, Y | University of Oxford | 2 Jul - 7 Jul | Y |
| Zielonka, W | LIAFA - Université Paris 7 | 2 Jul - 7 Jul | Y |