Andreas Abel  |
|
27 June to 15 July |
|
Benedikt Ahrens |
|
26 June to 04 August |
|
Jesús Aransay |
|
26 June to 07 July |
|
David Aspinall |
|
09 July to 28 July |
|
Jeremy Avigad |
|
26 June to 04 August |
|
Steve Awodey |
|
26 June to 15 July |
|
Andrej Bauer |
|
11 July to 16 July |
|
Yves Bertot |
|
10 July to 28 July |
|
Jasmin Blanchette |
|
10 July to 28 July |
|
Maria Paola Bonacina |
|
10 July to 28 July |
|
Simon Boulier |
|
26 June to 05 July |
|
Ulrik Buchholtz |
|
26 June to 15 July |
|
Mario Carneiro |
|
08 July to 03 August |
|
Thierry Coquand |
|
26 June to 30 June |
|
Joseph Corneli |
|
09 July to 04 August |
|
James Davenport |
|
09 July to 14 July, 20 July to 21 July |
|
Leonardo de Moura |
|
10 July to 04 August |
|
Manuel Eberl |
|
03 July to 08 July |
|
Gabriel Ebner |
|
09 July to 04 August |
|
Martin Escardo |
|
03 July to 15 July |
|
Marcelo Fiore |
|
26 June to 04 August |
|
Jacques Fleuriot |
|
23 July to 28 July, 09 July to 15 July |
|
Cameron Freer |
|
07 July to 22 July |
|
Georges Gonthier |
|
26 June to 04 August |
|
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 |
|
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 |
|
Mateja Jamnik |
|
26 June to 04 August |
|
Chris Kapulkin |
|
26 June to 15 July |
|
Deepak Kapur |
|
18 July to 04 August |
|
Michael Kohlhase |
|
10 July to 14 July |
|
Ekaterina Komendantskaya |
|
10 July to 14 July |
|
Konstantin Korovin |
|
10 July to 28 July |
|
Oliver Kullmann |
|
13 July to 04 August |
|
Lorenzo Lane |
|
26 June to 19 July |
|
Catherine 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 |
|
Benedikt Löwe |
|
15 July to 22 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 |
|
Arnold Neumaier |
|
10 July to 27 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 |
|
Paulo Oliva |
|
17 July to 27 July |
|
Ian Orton |
|
26 June to 04 August |
|
Grant Passmore |
|
01 July to 04 August |
|
Lawrence Paulson |
|
26 June to 04 August |
|
Alison Pease |
|
10 July to 21 July |
|
Andrew Pitts |
|
26 June to 04 August |
|
Egbert Rijke |
|
26 June to 15 July |
|
Marie-Françoise Roy |
|
26 June to 30 June |
|
Chris Sangwin |
|
03 July to 07 July, 17 July to 22 July |
|
Peter Sewell |
|
26 June to 04 August |
|
Natarajan Shankar |
|
26 June to 04 August |
|
Bas Spitters |
|
26 June to 15 July |
|
Fenner Tanswell |
|
10 July to 24 July |
|
Laurent Théry |
|
10 July to 28 July |
|
Cesare Tinelli |
|
09 July to 25 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 |
|
16 July to 04 August, 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 |
|
Makarius Wenzel |
|
10 July to 25 July |
|
Freek Wiedijk |
|
09 July to 20 July |
|
Christoph Wintersteiger |
|
10 July to 28 July |
|
Bohua Zhan |
|
09 July to 04 August |
