Workshop
Big Proof
27 - 31 May 2019
ICMS, The Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT
Programme
Meet the speakers
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
