for the workshop Formal and Computational Cryptographic Proofs
| Name | Institution | visit dates | Con |
| Abadi, M | Microsoft Research | 10 Apr - 13 Apr | Yes |
| Aizatulin, M | The Open University | 10 Apr - 13 Apr | Yes |
| Alama, JA | Universidade Nova de Lisboa (UNL) | 10 Apr - 13 Apr | No |
| Andreeva, E | Katholieke Universiteit Leuven | 10 Apr - 13 Apr | Yes |
| Baecher, P | Technische Universität Darmstadt | 9 Apr - 14 Apr | Yes |
| Barak, B | Microsoft Research | 11 Apr - 13 Apr | Yes |
| Barthe, G | Madrid Institute of Advanced Studies (IMDEA) | 10 Apr - 13 Apr | Yes |
| Bayer, S | University College London | 10 Apr - 13 Apr | Yes |
| Bernhard, D | University of Bristol | 9 Apr - 14 Apr | Yes |
| Blanchet, BM | École Normale Supérieure | 10 Apr - 13 Apr | Yes |
| Boiten, E | University of Kent | 10 Apr - 13 Apr | Yes |
| Brzuska, C | Technische Universität Darmstadt | 9 Apr - 14 Apr | Yes |
| Chiodo, MC | University of Melbourne | 10 Apr - 13 Apr | Yes |
| Choudhary, A | University of Bristol | 9 Apr - 14 Apr | Yes |
| Dagdelen, O | Technische Universität Darmstadt | 9 Apr - 14 Apr | Yes |
| Dantchev, S | Durham University | 10 Apr - 13 Apr | No |
| Davies, GT | University of Bristol | 9 Apr - 14 Apr | Yes |
| Dawar, A | University of Cambridge | 10 Apr - 13 Apr | Yes |
| Degabriele, JP | Royal Holloway, University of London | 11 Apr - 14 Apr | Yes |
| Dodis, Y | New York University | 10 Apr - 13 Apr | Yes |
| Downey, RG | Victoria University of Wellington | 10 Apr - 13 Apr | Yes |
| Etessami, K | University of Edinburgh | 10 Apr - 13 Apr | No |
| Farshim, P | Technische Universität Darmstadt | 9 Apr - 15 Apr | Yes |
| Feltz, M | ETH Zürich | 9 Apr - 14 Apr | Yes |
| Fischlin, M | Technische Universität Darmstadt | 9 Apr - 14 Apr | Yes |
| Fournet, C | Microsoft Research | 10 Apr - 13 Apr | Yes |
| Fuchsbauer, G | University of Bristol | 9 Apr - 14 Apr | Yes |
| Gentry, C | IBM Research | 9 Apr - 14 Apr | Yes |
| Glaschick, R | Heinz Nixdorf MuseumsForum | 12 Apr - 19 Apr | Yes |
| Goldwasser, S | Massachusetts Institute of Technology | 9 Apr - 13 Apr | Yes |
| Gorbunov, S | University of Toronto | 9 Apr - 14 Apr | Yes |
| Gordon, AD | Microsoft Research | 10 Apr - 13 Apr | Yes |
| Groth, J | University College London | 10 Apr - 13 Apr | Yes |
| Hamkins, JD | City University of New York | 10 Apr - 13 Apr | Yes |
| Hogarth, M | University of Cambridge | 10 Apr - 12 Apr | Yes |
| Hyland, JME | University of Cambridge | 10 Apr - 13 Apr | Yes |
| Jain, A | University of California, Los Angeles | 9 Apr - 14 Apr | Yes |
| Kalai, Y | Microsoft Research | 10 Apr - 13 Apr | Yes |
| Kapron, B | University of Victoria | 9 Apr - 14 Apr | Yes |
| Keller, M | University of Bristol | 9 Apr - 14 Apr | Yes |
| Kiltz, E | Ruhr-Universität Bochum | 9 Apr - 14 Apr | Yes |
| Kohlweiss, M | Microsoft Research | 10 Apr - 13 Apr | Yes |
| Kolaitis, PG | University of California, Santa Cruz | 10 Apr - 13 Apr | Yes |
| Krajicek, J | Charles University, Prague | 10 Apr - 13 Apr | Yes |
| Larraia, E | University of Bristol | 9 Apr - 14 Apr | Yes |
| Lowe, B | Universiteit van Amsterdam | 10 Apr - 13 Apr | Yes |
| Maurer, U | ETH Zürich | 9 Apr - 13 Apr | Yes |
| Micali, S | Massachusetts Institute of Technology | 9 Apr - 11 Apr | Yes |
| Murphy, N | Universidad Politécnica de Madrid | 12 Apr - 18 Apr | Yes |
| Naor, M | Weizmann Institute of Science | 9 Apr - 14 Apr | Yes |
| Nguyen, L | University of Oxford | 10 Apr - 14 Apr | Yes |
| Onete, MC | Center for Advanced Security Research Darmstadt (CASED) | 9 Apr - 14 Apr | Yes |
| Passmore, GO | University of Cambridge | 10 Apr - 13 Apr | Yes |
| Paterson, KG | University of London | 10 Apr - 13 Apr | Yes |
| Patra, A | ETH Zürich | 9 Apr - 14 Apr | Yes |
| Pattinson, D | Imperial College London | 10 Apr - 13 Apr | Yes |
| Persiano, G | Università degli Studi di Salerno | 11 Apr - 14 Apr | Yes |
| Pietrzak, K | Institute of Science and Technology (IST Austria) | 9 Apr - 19 Apr | Yes |
| Poettering, B | Royal Holloway, University of London | 9 Apr - 14 Apr | Yes |
| Pointcheval, D | ENS - Paris | 10 Apr - 13 Apr | Yes |
| Procter, G | Royal Holloway, University of London | 9 Apr - 14 Apr | Yes |
| Pudlak, P | Academy of Sciences of the Czech Republic | 10 Apr - 13 Apr | Yes |
| Riis, S | Queen Mary, University of London | 10 Apr - 13 Apr | Yes |
| Roe, M | University of Hertfordshire | 10 Apr - 13 Apr | Yes |
| Rogaway, P | University of California, Davis | 10 Apr - 13 Apr | Yes |
| Rothblum, G | Microsoft Research | 9 Apr - 13 Apr | Yes |
| Roy, DM | University of Cambridge | 10 Apr - 13 Apr | No |
| Sahai, A | University of California, Los Angeles | 9 Apr - 14 Apr | Yes |
| Scholl, P | University of Bristol | 9 Apr - 14 Apr | Yes |
| Smart, N | University of Bristol | 10 Apr - 13 Apr | Yes |
| Soare, RI | University of Chicago | 10 Apr - 13 Apr | Yes |
| Srinivasan, S | University of Surrey | 9 Apr - 14 Apr | Yes |
| Takashima, K | Mitsubishi Electric | 11 Apr - 14 Apr | Yes |
| Tessaro, S | Massachusetts Institute of Technology | 10 Apr - 13 Apr | Yes |
| Thapen, N | Academy of Sciences of the Czech Republic | 10 Apr - 13 Apr | Yes |
| Thomson, S | Royal Holloway, University of London | 9 Apr - 14 Apr | Yes |
| Vaikuntanathan, V | University of Toronto | 9 Apr - 14 Apr | Yes |
| van de Pol, J | University of Bristol | 9 Apr - 14 Apr | Yes |
| Warinschi, B | University of Bristol | 10 Apr - 13 Apr | Yes |
| Winskel, G | University of Cambridge | 10 Apr - 13 Apr | Yes |
| Woods, D | CALTECH (California Institute of Technology) | 12 Apr - 18 Apr | Yes |
| Yasmin, R | University of Birmingham | 9 Apr - 14 Apr | Yes |
| Zanella Beguelin, SJZB | Microsoft Research | 10 Apr - 13 Apr | Yes |