Email Gateway (Sep 22 2024 at 08:44): Email Gateway (Sep 22 2024 at 08:44):From: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
As part of the Isaac Newton Institute "Big Specification" programme (
https://www.newton.ac.uk/event/bsp/), 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://www.newton.ac.uk/event/bspw01/. Registration is now closed but the
INI will stream the talks live, at https://www.newton.ac.uk/news/watch-live/,
and hopefully also record them.
best,
Peter, for all the programme organisers (Philippa Gardner, Neek
Krishnaswami, Shankar, and myself)
Last updated: Jan 04 2025 at 20:18 UTC