« All Events

  • This event has passed.

Verified software: from theory to practice, Workshop at the INI, May 2021

May 10, 2021 - May 14, 2021

This is one of two upcoming workshops on Verification at the Isaac Newton Institute for Mathematical Sciences , in advance of their scientific programme on Verified Software, which had to be postponed last summer.

The Verified software: from theory to practice workshop is intended for researchers working on the specification and verification of software-intensive systems, with a focus on work bridging the gap between theory and applications.  Registration is free.

The INI will run this workshop virtually and all talks and discussion sessions will be available virtually.


May 10, 2021
May 14, 2021