Big Proof

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

27 - 31 May 2019


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

The Isaac Newton Institute programme on Big Proof during the summer of 2017 drew a great deal of interest from mathematicians, philosophers, and computer scientists.  In May 2019 a week-long follow-up workshop funded by the Isaac Newton Institute will take place at the International Centre for Mathematical Sciences in Edinburgh. This workshop will take forward a number of the key initiatives from Big Proof:

• Pragmatic foundations for the formalization of mathematical proofs.
• Social processes that support research, exposition, and learning in mathematics.
• Interchange formats and repositories for formal mathematical knowledge
• Scalable proof automation
• Applications of Big Proof technology

Confirmed speakers include: Jeremy Avigad, Michael Barany, Kevin Buzzard, Gilles Dowek, George Gonthier, Tom Hales, John Harrison, Mateja Jamnik, Cesary Kalysczyk, Michael Kohlhase, Katya Komendentskaya, Angeliki Koutsoukou-Argyraki,  Benedikt Lowe, Ursula Martin, Larry Paulson, Alison Pease, Chris Sangwin, Natarajan Shankar, Fenner Tanswell, Stephen Watt.



The workshop will begin at 14.00 on Monday 27 May and end at lunchtime on Friday 31 May. Participants should bear this in mind when they make their travel arrangements. Anyone interested in attending should contact Moira Spencer <>



to be announced