skip to content
 

Participants (BPR)

Name Home Institution Visit Dates
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
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons