[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)
