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 |