| Name | Institution | visit dates | Conf |
|---|
| Aehlig, K | Universitaet Muenchen | 9 Apr - 14 Apr | Y |
| Alechina, N | University of Nottingham | 10 Apr - 14 Apr | Y |
| Alekhnovich, M | University of California | 10 Apr - 14 Apr | Y |
| Atserias, A A | Universitat Politecnica de Catalunya | 9 Apr - 14 Apr | Y |
| Beckmann, A | University of Wales, Swansea | 9 Apr - 14 Apr | Y |
| Bierman, G | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Bonet , ML | Universidad Politecnica de Catalunya | 10 Apr - 14 Apr | Y |
| Brihaye, T | Universite de Mons-Hainaut | 10 Apr - 13 Apr | Y |
| Buresh-Oppenheim, J | Simon Fraser University | 9 Apr - 14 Apr | Y |
| Buss, S | University of California | 10 Apr - 14 Apr | Y |
| Cardelli, L | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Cavagnetto, S | Mathematical Institute, Academy of Sciences | 9 Apr - 14 Apr | Y |
| Cook, B | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Cook, S | University of Toronto | 10 Apr - 14 Apr | Y |
| Dantchev, S | University of Durham | 10 Apr - 14 Apr | Y |
| Dawar, A | University of Cambridge | 10 Apr - 14 Apr | Y |
| Dempster, M | University of Cambridge | 10 Apr - 14 Apr | Y |
| Fiore, M | University of Cambridge | 10 Apr - 14 Apr | Y |
| Fournet, C | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Galesi, N | Universita di Roma "La Sapienza" | 9 Apr - 14 Apr | Y |
| Gordon, A | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Gordon, M | University of Cambridge | 10 Apr - 14 Apr | Y |
| Griffin, T | University of Cambridge | 10 Apr - 14 Apr | Y |
| Hella , L | University of Tampere | 10 Apr - 14 Apr | Y |
| Hoare, T | Microsoft Research Cambridge | 10 Apr - 14 Apr | Y |
| Hodges, W | Queen Mary, University of London | 10 Apr - 14 Apr | Y |
| Hunter, P | University of Cambridge | 10 Apr - 13 Apr | Y |
| Hyland, M | University of Cambridge | 10 Apr - 14 Apr | Y |
| Impagliazzo, R | University of California | 10 Apr - 13 Apr | Y |
| Jerabek, E | University of Toronto | 9 Apr - 14 Apr | Y |
| Johannsen, J | Institut fuer Informatik | 9 Apr - 14 Apr | Y |
| Kolokolova, A | Simon Fraser University | 9 Apr - 14 Apr | Y |
| Krajicek, J | Prague | 10 Apr - 14 Apr | Y |
| Kreutzer, S | Humboldt-Universitat zu Berlin | 10 Apr - 14 Apr | Y |
| Kulesza, K | University of Cambridge | 10 Apr - 14 Apr | Y |
| Kullmann, O | University of Wales, Swansea | 9 Apr - 14 Apr | Y |
| Latte, M | Ludwig-Maximilians-University | 9 Apr - 14 Apr | Y |
| Markstrom, K | Umea University | 9 Apr - 14 Apr | Y |
| Martin, B | University of Durham | 10 Apr - 14 Apr | Y |
| Martin, U | Queen Mary, University of London | 10 Apr - 14 Apr | Y |
| Michaux, C | Universite de Mons-Hainaut | 10 Apr - 14 Apr | Y |
| Mildmann, T | University of Bristol | 10 Apr - 14 Apr | Y |
| Nain, S | Rice University | 10 Apr - 14 Apr | Y |
| Naumov, P | McDaniel College, Maryland | 9 Apr - 14 Apr | Y |
| Nguyen, P | University of Toronto | 9 Apr - 14 Apr | Y |
| Nordstrom, J | KTH Computer Science and Communication | 9 Apr - 14 Apr | Y |
| Perron, S | University of Toronto | 9 Apr - 14 Apr | Y |
| Pitassi, T | University of Toronto | 8 Apr - 13 Apr | Y |
| Pitts, A | University of Cambridge | 10 Apr - 14 Apr | Y |
| Pollett, C | SJSU | 9 Apr - 14 Apr | Y |
| Pudlak, P | Mathematical Institute, AS CR | 10 Apr - 14 Apr | Y |
| Riis, S | Queen Mary, University of London | 9 Apr - 13 Apr | Y |
| Rozier, KY | Rice University | 10 Apr - 13 Apr | Y |
| Segerlind, N | University of Toronto | 9 Apr - 14 Apr | Y |
| Skelley, A | Mathematical Institute A V CR | 9 Apr - 14 Apr | Y |
| Soltys, M | McMaster University | 9 Apr - 14 Apr | Y |
| Stewart, I A | University of Durham | 10 Apr - 14 Apr | Y |
| Tabakov, D | Rice University | 10 Apr - 13 Apr | Y |
| Thapen, N D | Prague | 9 Apr - 14 Apr | Y |
| Tzameret, I | Tel Aviv University | 9 Apr - 15 Apr | Y |
| Vaananen, J | University of Helsinki | 10 Apr - 14 Apr | Y |
| Vardi, M | Rice University | 10 Apr - 14 Apr | Y |
| Vorobyov, S | Uppsala University | 10 Apr - 14 Apr | Y |
| Winskel, G | University of Cambridge | 10 Apr - 14 Apr | Y |
| Wu, T | Queen Mary, University of London | 10 Apr - 13 Apr | Y |
| Zenil, H | University of Paris | 9 Apr - 14 Apr | Y |