Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

January 2022

2022 UK Cyber Security PhD Winter School, University of Surrey

January 10, 2022 - January 12, 2022

The 3rd Annual UK Cyber Security PhD Winter School will take place on 10th - 12th January 2022, at the University of Surrey, with the support of  the National Cyber Security Centre. The winter school, organised by the Surrey Centre for Cyber Security, is open to research students and early-career researchers in cyber security. Full details can be found on their website.

Find out more »

July 2022

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

July 4, 2022 - August 12, 2022

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