« All Events

  • This event has passed.

Verified software: Tools and Experiments, Workshop at the INI, June 2021

June 7, 2021 - June 11, 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: Tools and Experiments workshop is intended for researchers working on the specification and verification of software-intensive systems, with a focus on defining integrated tool resources for automated formal methods with standardized interfaces.  It will include a special event marking the 60th anniversary of Tony Hoare’s invention of Quicksort. Registration is free.

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


June 7, 2021
June 11, 2021