| 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 |
| 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 |
© 2020 University of Cambridge
