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