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
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons