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.