Mohammad Abdulaziz |
Australian National University |
09 July to 15 July |
Andreas Abel |
Göteborgs Universitet |
27 June to 15 July |
Benedikt Ahrens |
INRIA Rennes - Bretagne Atlantique |
26 June to 04 August |
T M G Ahsanullah |
King Saud University; King Saud University |
10 July to 14 July |
Rob Arthan |
Queen Mary University of London |
10 July to 14 July |
David Aspinall |
University of Edinburgh; The Alan Turing Institute |
09 July to 28 July |
Jeremy Avigad |
Carnegie Mellon University |
26 June to 04 August |
Steve Awodey |
Carnegie Mellon University |
26 June to 15 July |
Edward Ayers |
University of Cambridge |
10 July to 14 July |
Miëtek Bak |
Least Fixed Ltd |
10 July to 14 July |
Andrej Bauer |
University of Ljubljana |
11 July to 16 July |
Christoph Benzmueller |
Université du Luxembourg; Freie Universität Berlin; Universität des Saarlandes |
10 July to 14 July |
Yves Bertot |
INRIA Sophia Antipolis |
10 July to 28 July |
Jasmin Blanchette |
INRIA Nancy - Grand Est; 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 |
Ana Borges |
Universitat de Barcelona |
09 July to 15 July |
Ulrik Buchholtz |
Technische Universität Darmstadt |
26 June to 15 July |
Mario Carneiro |
Carnegie Mellon University; Ohio State University |
08 July to 03 August |
Andrea Cerone |
Imperial College London |
09 July to 15 July |
Joe Corneli |
University of Edinburgh; University of London |
09 July to 04 August |
James Davenport |
University of Bath |
09 July to 14 July |
Leonardo de Moura |
Microsoft (UK) |
10 July to 04 August |
William DeMeo |
University of Hawaii; University of Colorado |
09 July to 15 July |
Jose Divasón |
Universidad de La Rioja |
09 July to 14 July |
Peter Dybjer |
Chalmers University of Technology |
10 July to 14 July |
Manuel Eberl |
Technische Universität München |
09 July to 15 July |
Gabriel Ebner |
Vienna University of Technology |
09 July to 04 August |
Martin Escardo |
University of Birmingham |
03 July to 15 July |
Marcelo Fiore |
University of Cambridge |
26 June to 04 August |
Jacques Fleuriot |
University of Edinburgh |
09 July to 15 July |
Cameron Freer |
Massachusetts Institute of Technology |
07 July to 22 July |
Georges Gonthier |
INRIA Saclay - Île-de-France |
26 June to 04 August |
William Timothy Gowers |
University of Cambridge |
10 July to 14 July |
Timothy Griffin |
University of Cambridge |
26 June to 04 August |
Thomas Hales |
University of Pittsburgh |
09 July to 28 July |
Yacin Hamami |
Vrije Universiteit Brussel |
09 July to 15 July |
Hugo Herbelin |
INRIA Paris - Rocquencourt; Université Paris 7 - Denis-Diderot |
09 July to 28 July |
Marijn Heule |
University of Texas at Austin |
10 July to 15 July |
Corneliu Hoffman |
University of Birmingham |
10 July to 14 July |
Martin Hofmann |
Ludwig-Maximilians-Universität München |
03 July to 14 July |
Johannes Hölzl |
Technische Universität München |
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 04 August |
Fabian Immler |
Technische Universität München |
26 June to 14 July |
Patrick Ion |
University of Michigan |
10 July to 14 July |
Samin Ishtiaq |
Microsoft (UK) |
10 July to 14 July |
Paul Jackson |
University of Edinburgh |
09 July to 15 July |
Mateja Jamnik |
University of Cambridge |
26 June to 04 August |
Chris Kapulkin |
University of Western Ontario |
26 June to 15 July |
Peter Koepke |
Rheinische Friedrich-Wilhelms-Universität Bonn |
09 July to 15 July |
Michael Kohlhase |
Jacobs University Bremen |
10 July to 14 July |
Katya Komendenskaya |
Heriot-Watt University |
10 July to 14 July |
Konstantin Korovin |
University of Manchester |
10 July to 28 July |
Angeliki Koutsoukou-Argyraki |
Technische Universität Darmstadt |
09 July to 13 July |
Oliver Kullmann |
Swansea University |
13 July to 04 August |
Adam Kurkiewicz |
University of Glasgow |
09 July to 15 July |
Ambroise Lafont |
None / Other |
09 July to 14 July |
Lorenzo Lane |
University of Edinburgh; University of Oxford |
26 June to 19 July |
Jean-Pierre LELAY |
Institute for Advanced Study, Princeton |
26 June to 04 August |
Robert Lewis |
Carnegie Mellon University |
09 July to 04 August |
Wenda Li |
Cambridge Research Institute |
26 June to 04 August |
Dan Licata |
Wesleyan University |
05 July to 14 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 |
05 July to 21 July |
Norman Megill |
None / Other |
07 July to 16 July |
Imogen Morris |
University of Edinburgh |
09 July to 15 July |
Dominic Mulligan |
University of Cambridge |
10 July to 14 July |
Julien Narboux |
University of Strasbourg |
09 July to 15 July |
Arnold Neumaier |
Universität Wien |
10 July to 27 July |
Walther Neuper |
Johannes Kepler Universität; Technische Universität Graz |
09 July to 15 July |
Tristan Nguyen |
Air Force Office of Scientific Research |
09 July to 15 July |
Tobias Nipkow |
Technischen Universität München |
09 July to 14 July |
Paige North |
University of Cambridge |
26 June to 23 July |
Steven Obua |
University of Edinburgh |
14 July to 14 July |
Ian Orton |
University of Cambridge |
26 June to 04 August |
Grant Passmore |
University of Cambridge |
01 July to 04 August |
Larry Paulson |
University of Cambridge |
26 June to 04 August |
Alison Pease |
University of Dundee |
10 July to 21 July |
Bartosz Piotrowski |
University of Warsaw |
10 July to 14 July |
Andrew Pitts |
University of Cambridge |
26 June to 04 August |
Randy Pollack |
University of Edinburgh; Cornell University |
09 July to 14 July |
Nika Pona |
Universitat de Barcelona |
09 July to 16 July |
Subramanian Ramamoorthy |
University of Edinburgh |
10 July to 14 July |
Laurence Rideau |
INRIA Sophia Antipolis |
09 July to 14 July |
Egbert Rijke |
Carnegie Mellon University |
26 June to 15 July |
Colin Rowat |
University of Birmingham |
10 July to 14 July |
José-Luis Ruiz-reina |
Universidad de Sevilla |
09 July to 15 July |
Peter Sewell |
University of Cambridge |
26 June to 04 August |
Natarajan Shankar |
|
26 June to 04 August |
Bas Spitters |
Aarhus Universitet |
26 June to 15 July |
Patrick Stevens |
University of Cambridge |
10 July to 14 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 |
09 July to 25 July |
Prathamesh Turaga |
Institute of Mathematical Sciences, Chennai |
09 July to 15 July |
Sebastian Ullrich |
Karlsruhe Institute of Technology (KIT) |
09 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 |
Vladimir Voevodsky |
Institute for Advanced Study, Princeton |
26 June to 04 August |
Tamara von Glehn |
University of Cambridge |
26 June to 04 August |
Stephen Watt |
University of Waterloo |
10 July to 14 July |
Matthew Weaver |
Princeton University |
09 July to 15 July |
Makarius Wenzel |
None / Other |
10 July to 25 July |
Freek Wiedijk |
Radboud Universiteit Nijmegen |
09 July to 20 July |
Christoph Wintersteiger |
Microsoft (UK) |
10 July to 28 July |
Noam Zeilberger |
University of Birmingham |
10 July to 12 July |
Bohua Zhan |
Massachusetts Institute of Technology |
09 July to 04 August |