skip to content

Workshops and Other Events

Code Title Dates
BPRW01 Computer-aided mathematical proof Workshop 10th July 2017 to 14th July 2017
OFBW34 Big Proof - Challenges in Industry and Research Satellite 19th July 2017
BPRW02 Big Proof Follow on Satellite 27th May 2019 to 31st May 2019
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons