Note: This list may not include "Big proof" programme participants whose visits coincide with the workshop.
| Name | Home Institution | Visit Dates |
|---|---|---|
| Mohammad Abdulaziz | 09 July to 15 July | |
Andreas Abel  |
27 June to 15 July | |
|
Benedikt Ahrens |
26 June to 04 August | |
|
T M G Ahsanullah |
10 July to 14 July | |
|
Rob Arthan |
10 July to 14 July | |
|
David Aspinall |
09 July to 28 July | |
|
Jeremy Avigad |
26 June to 04 August | |
| Steve Awodey | 26 June to 15 July | |
| Edward Ayers | 10 July to 14 July | |
|
Miëtek Bak |
10 July to 14 July | |
|
Andrej Bauer |
11 July to 16 July | |
|
Christoph Benzmueller |
10 July to 14 July | |
|
Yves Bertot |
10 July to 28 July | |
|
Jasmin Blanchette |
10 July to 28 July | |
|
Maria Paola Bonacina |
10 July to 28 July | |
| Ana Borges | 09 July to 15 July | |
|
Ulrik Buchholtz |
26 June to 15 July | |
|
Mario Carneiro |
08 July to 03 August | |
|
Andrea Cerone |
09 July to 15 July | |
|
Joe Corneli |
09 July to 04 August | |
|
James Davenport |
09 July to 14 July | |
|
Leonardo de Moura |
10 July to 04 August | |
|
William DeMeo |
09 July to 15 July | |
|
Jose Divasón |
09 July to 14 July | |
|
Peter Dybjer |
10 July to 14 July | |
|
Manuel Eberl |
09 July to 15 July | |
|
Gabriel Ebner |
09 July to 04 August | |
|
Martin Escardo |
03 July to 15 July | |
|
Marcelo Fiore |
26 June to 04 August | |
|
Jacques Fleuriot |
09 July to 15 July | |
| Cameron Freer | 07 July to 22 July | |
| Georges Gonthier | 26 June to 04 August | |
|
William Timothy Gowers |
10 July to 14 July | |
|
Timothy Griffin |
26 June to 04 August | |
| Thomas Hales | 09 July to 28 July | |
| Yacin Hamami | 09 July to 15 July | |
|
Hugo Herbelin |
09 July to 28 July | |
|
Marijn Heule |
10 July to 15 July | |
| Corneliu Hoffman | 10 July to 14 July | |
|
Martin Hofmann |
03 July to 14 July | |
|
Johannes Hölzl |
26 June to 14 July | |
|
Kuen-Bang Hou (Favonia) |
26 June to 15 July | |
| Martin Hyland | 26 June to 04 August | |
|
Fabian Immler |
26 June to 14 July | |
| Patrick Ion | 10 July to 14 July | |
|
Samin Ishtiaq |
10 July to 14 July | |
|
Paul Jackson |
09 July to 15 July | |
| Mateja Jamnik | 26 June to 04 August | |
|
Chris Kapulkin |
26 June to 15 July | |
| Peter Koepke | 09 July to 15 July | |
|
Michael Kohlhase |
10 July to 14 July | |
|
Katya Komendenskaya |
10 July to 14 July | |
|
Konstantin Korovin |
10 July to 28 July | |
|
Angeliki Koutsoukou-Argyraki |
09 July to 13 July | |
| Oliver Kullmann | 13 July to 04 August | |
| Adam Kurkiewicz | 09 July to 15 July | |
| Ambroise Lafont | 09 July to 14 July | |
|
Lorenzo Lane |
26 June to 19 July | |
| Jean-Pierre LELAY | 26 June to 04 August | |
|
Robert Lewis |
09 July to 04 August | |
|
Wenda Li |
26 June to 04 August | |
|
Dan Licata |
05 July to 14 July | |
|
Peter LeFanu Lumsdaine |
26 June to 16 July | |
|
Assia Mahboubi |
26 June to 29 July | |
| Ursula Martin | 05 July to 21 July | |
|
Norman Megill |
07 July to 16 July | |
| Imogen Morris | 09 July to 15 July | |
|
Dominic Mulligan |
10 July to 14 July | |
|
Julien Narboux |
09 July to 15 July | |
|
Arnold Neumaier |
10 July to 27 July | |
|
Walther Neuper |
09 July to 15 July | |
| Tristan Nguyen | 09 July to 15 July | |
|
Tobias Nipkow |
09 July to 14 July | |
| Paige North | 26 June to 23 July | |
| Steven Obua | 14 July to 14 July | |
|
Ian Orton |
26 June to 04 August | |
|
Grant Passmore |
01 July to 04 August | |
| Larry Paulson | 26 June to 04 August | |
|
Alison Pease |
10 July to 21 July | |
| Bartosz Piotrowski | 10 July to 14 July | |
|
Andrew Pitts |
26 June to 04 August | |
|
Randy Pollack |
09 July to 14 July | |
| Nika Pona | 09 July to 16 July | |
|
Subramanian Ramamoorthy |
10 July to 14 July | |
| Laurence Rideau | 09 July to 14 July | |
| Egbert Rijke | 26 June to 15 July | |
|
Colin Rowat |
10 July to 14 July | |
|
José-Luis Ruiz-reina |
09 July to 15 July | |
|
Peter Sewell |
26 June to 04 August | |
| Natarajan Shankar | 26 June to 04 August | |
|
Bas Spitters |
26 June to 15 July | |
|
Patrick Stevens |
10 July to 14 July | |
| Fenner Tanswell | 10 July to 24 July | |
|
Laurent Théry |
10 July to 28 July | |
| Cesare Tinelli | 09 July to 25 July | |
| Prathamesh Turaga | 09 July to 15 July | |
|
Sebastian Ullrich |
09 July to 15 July | |
|
Christian Urban |
26 June to 14 July | |
| Josef Urban | 10 July to 28 July | |
|
Floris van Doorn |
26 June to 15 July | |
|
Vladimir Voevodsky |
26 June to 04 August | |
| Tamara von Glehn | 26 June to 04 August | |
|
Stephen Watt |
10 July to 14 July | |
| Matthew Weaver | 09 July to 15 July | |
|
Makarius Wenzel |
10 July to 25 July | |
|
Freek Wiedijk |
09 July to 20 July | |
|
Christoph Wintersteiger |
10 July to 28 July | |
|
Noam Zeilberger |
10 July to 12 July | |
|
Bohua Zhan |
09 July to 04 August |
