Big Proof

Home > Workshops > 2019 > Big Proof

Big Proof

 27 - 31 May 2019

ICMS, The Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT

  • Ursula Martin, University of Edinburgh and University of Oxford
  • Natarajan Shankar, SRI International

Programme:

Jermy Avigad
Micheal Barany
Kevin Buzzard
Gilles Dowek
George Gonthier
Tom Hales
John Harrison
Mateja Jamnik
Cesary Kalysczyk
Micheal Kohlase
Katya Komendentskaya
Angeliki Koutsoukou-Argyraki
Benedikt Lowe
Ursula Martin
Larry Paulson
Alison Pease
Chris Sangwin
Natarajan Shankar
Fenner Tanswell
Stephen Watt

Sponsors and Funders:

This event was funded by the Isaac Newton Institute