[TYPES/announce] Workshop on "Big Specification: Specification, Proof, and Testing at Scale"

[Peter Sewell]

As part of the Isaac Newton Institute "Big Specification" programme (
https://urldefense.com/v3/__https://www.newton.ac.uk/event/bsp/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCViv9ZiD8A$ ),  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
https://urldefense.com/v3/__https://www.newton.ac.uk/event/bspw01/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCVjFCeS6uA$ .  Registration is now closed but the
INI will stream the talks live, at https://urldefense.com/v3/__https://www.newton.ac.uk/news/watch-live/__;!!IBzWLUs!RnCnsv__s3ngilCBEyPYmadByq0YCCtJ3Vp9GtTJnEVWecjVn8xc0GFxL64C3YPipKhBByCgsm7w3EddIW1iWQBuOb6jFmgqCVhCbTgDvQ$ ,
and hopefully also record them.

best,
Peter, for all the programme organisers (Philippa Gardner, Neek
Krishnaswami, Shankar, and myself)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240922/4314264a/attachment-0001.htm>