<div dir="ltr">As part of the Isaac Newton Institute "Big Specification" programme (<a href="https://urldefense.com/v3/__https://www.newton.ac.uk/event/bsp/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCViv9ZiD8A$">https://www.newton.ac.uk/event/bsp/</a>),  in 7-11 October we have a workshop "Big Specification: Specification, Proof, and Testing at Scale", with a preliminary schedule (it'll change a bit) at <a href="https://urldefense.com/v3/__https://www.newton.ac.uk/event/bspw01/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCVjFCeS6uA$">https://www.newton.ac.uk/event/bspw01/</a>.  Registration is now closed but the INI will stream the talks live, at <a href="https://urldefense.com/v3/__https://www.newton.ac.uk/news/watch-live/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCVhCbTgDvQ$">https://www.newton.ac.uk/news/watch-live/</a>, and hopefully also record them.<br><br>best,<br><div>Peter, for all the programme organisers (Philippa Gardner, Neek Krishnaswami, Shankar, and myself)</div><div><br></div><div><br></div></div>