Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

July 2022

Six week programme in Verified Software at the Isaac Newton Institute, Cambridge

July 4 - August 12

The six week programme Verified Software at the Isaac Newton Institute, Cambridge will take place this summer, after the original event was postponed last year. The Verified Software programme includes two workshops, one on the Theory and Applications of Verified Software, From Theory to Practice and a second one on Verification Tools and Experiments. These will be supplemented with smaller workshops and working groups devoted to specialized topics and industrial applications. The aim of the programme is to bring together a diverse mix…

Find out more »
+ Export Events