| Name | Home Institution | Visit Dates |
|---|---|---|
Andreas Abel  |
Göteborgs Universitet | 27 June to 15 July |
|
Benedikt Ahrens |
INRIA Rennes - Bretagne Atlantique | 26 June to 4 August |
|
Jesús Aransay |
Universidad de La Rioja | 26 June to 7 July |
|
David Aspinall |
University of Edinburgh; The Alan Turing Institute | 9 July to 28 July |
|
Jeremy Avigad |
Carnegie Mellon University | 26 June to 4 August |
|
Steve Awodey |
Carnegie Mellon University | 26 June to 15 July |
| Andrej Bauer | University of Ljubljana | 11 July to 16 July |
| Yves Bertot | INRIA Sophia Antipolis | 10 July to 28 July |
| Jasmin Blanchette | Vrije Universiteit Amsterdam; Max-Planck-Institut für Informatik, Saarbrücken | 10 July to 28 July |
|
Maria Paola Bonacina |
Università degli Studi di Verona | 10 July to 28 July |
|
Simon Boulier |
INRIA Rennes - Bretagne Atlantique | 26 June to 5 July |
|
Ulrik Buchholtz |
Technische Universität Darmstadt | 26 June to 15 July |
| Mario Carneiro | Carnegie Mellon University; Ohio State University | 8 July to 3 August |
| Thierry Coquand | Göteborgs Universitet | 26 June to 30 June |
|
Joseph Corneli |
University of Edinburgh; University of London | 9 July to 4 August |
|
James Davenport |
University of Bath |
9 July to 14 July; 20 July to 21 July |
| Leonardo de Moura | Microsoft Research | 10 July to 4 August |
|
Manuel Eberl |
Technische Universität München | 3 July to 8 July |
|
Gabriel Ebner |
Vienna University of Technology | 9 July to 4 August |
| Martin Escardo | University of Birmingham | 3 July to 15 July |
| Marcelo Fiore | University of Cambridge | 26 June to 4 August |
|
Jacques Fleuriot |
University of Edinburgh |
9 July to 15 July; 23 July to 28 July |
|
Cameron Freer |
Other | 7 July to 22 July |
| Georges Gonthier | INRIA Saclay - Île-de-France | 26 June to 4 August |
|
Timothy Griffin |
University of Cambridge | 26 June to 4 August |
| Thomas Hales | University of Pittsburgh | 9 July to 28 July |
| Yacin Hamami | Vrije Universiteit Brussel | 9 July to 15 July |
|
Hugo Herbelin |
INRIA Paris - Rocquencourt; Université Paris 7 - Denis-Diderot | 9 July to 28 July |
| Martin Hofmann | Ludwig-Maximilians-Universität München | 3 July to 14 July |
|
Johannes Hölzl |
Carnegie Mellon University | 26 June to 14 July |
|
Kuen-Bang Hou (Favonia) |
Carnegie Mellon University | 26 June to 15 July |
| Martin Hyland | University of Cambridge | 26 June to 4 August |
| Fabian Immler | Technische Universität München | 26 June to 14 July |
|
Mateja Jamnik |
University of Cambridge | 26 June to 4 August |
|
Chris Kapulkin |
University of Western Ontario | 26 June to 15 July |
|
Deepak Kapur |
University of New Mexico | 18 July to 4 August |
|
Michael Kohlhase |
Friedrich-Alexander-Universität Erlangen-Nürnberg; Jacobs University Bremen | 10 July to 14 July |
|
Ekaterina Komendantskaya |
Heriot-Watt University | 10 July to 14 July |
| Konstantin Korovin | University of Manchester | 10 July to 28 July |
|
Lorenzo Lane |
University of Edinburgh; University of Oxford | 26 June to 19 July |
| Catherine LELAY | Institute for Advanced Study, Princeton | 26 June to 4 August |
|
Robert Lewis |
Carnegie Mellon University | 9 July to 4 August |
| Wenda Li | University of Cambridge | 26 June to 4 August |
| Dan Licata | Wesleyan University | 5 July to 14 July |
|
Benedikt Löwe |
Universiteit van Amsterdam; Universität Hamburg | 15 July to 22 July |
|
Peter LeFanu Lumsdaine |
Stockholm University | 26 June to 16 July |
| Assia Mahboubi | INRIA Saclay - Île-de-France | 26 June to 29 July |
| Ursula Martin | University of Oxford | 5 July to 21 July |
|
Norman Megill |
None; None | 7 July to 16 July |
| J Strother Moore | University of Texas at Austin; University of Edinburgh | 3 July to 13 July |
|
Arnold Neumaier |
Universität Wien | 10 July to 27 July |
| Tristan Nguyen | Air Force Office of Scientific Research | 9 July to 15 July |
| Tobias Nipkow | Technischen Universität München | 9 July to 14 July |
| Paige North | University of Cambridge | 26 June to 23 July |
| Steven Obua | University of Edinburgh | 14 July |
|
Paulo Oliva |
Queen Mary University of London | 17 July to 27 July |
| Ian Orton | University of Cambridge | 26 June to 4 August |
|
Grant Passmore |
Aesthetic Integration Ltd | 1 July to 4 August |
|
Lawrence Paulson |
University of Cambridge | 26 June to 4 August |
|
Alison Pease |
University of Dundee | 10 July to 21 July |
|
Andrew Pitts |
University of Cambridge | 26 June to 4 August |
|
Egbert Rijke |
Carnegie Mellon University | 26 June to 15 July |
| Marie-Françoise Roy | Université de Rennes 1 | 26 June to 30 June |
| Chris Sangwin | University of Edinburgh |
3 July to 7 July; 17 July to 22 July |
| Peter Sewell | University of Cambridge | 26 June to 4 August |
| Natarajan Shankar | SRI International | 26 June to 4 August |
|
Bas Spitters |
Aarhus Universitet | 26 June to 15 July |
| Fenner Tanswell | University of Oxford | 10 July to 24 July |
|
Laurent Théry |
INRIA Sophia Antipolis | 10 July to 28 July |
| Cesare Tinelli | University of Iowa | 9 July to 25 July |
| Sebastian Ullrich | Karlsruhe Institute of Technology (KIT) | 9 July to 15 July |
| Christian Urban | King's College London | 26 June to 14 July |
| Josef Urban | Czech Technical University | 10 July to 28 July |
|
Floris van Doorn |
Carnegie Mellon University |
26 June to 15 July; 16 July to 4 August |
| Vladimir Voevodsky | Institute for Advanced Study, Princeton | 26 June to 4 August |
| Tamara von Glehn | University of Cambridge | 26 June to 4 August |
|
Stephen Watt |
University of Waterloo | 10 July to 14 July |
| Makarius Wenzel | Other | 10 July to 25 July |
|
Freek Wiedijk |
Radboud Universiteit Nijmegen | 9 July to 20 July |
| Christoph Wintersteiger | Microsoft Research | 10 July to 28 July |
|
Bohua Zhan |
Massachusetts Institute of Technology | 9 July to 4 August |
