skip to content
 

Participants (BPRW01)



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