Philippa is one of the organisers 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 two workshops: Verified software: from theory to practice, to be held in May, and Tools and Experiments to be held in June, will be run virtually.

The workshops are 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. The Tools and Experiments workshop is aimed at defining an integrated tool resources for automated formal methods with standardized interfaces and it will include a special event marking the 60th anniversary of Tony Hoare’s invention of Quicksort.