Annual Conference and Report, 2015

The Three National Cyber Security Programme sponsored cyber security Research Institutes are organising their joint annual highlights conference, at the Department for Business Innovation and Skills in October 2015. The purpose of the conference is to present this leading edge initiative and its outcomes to decision-makers and leaders from academia, government and industry. Download the Annual… Read more »

FMATS3 at Microsoft Research, 2014

FMATS3 on 1-2 May 2014 was co-organised by the Research Institute. FMATS3 was held at Microsoft Research Cambridge on 1st and 2nd May 2014. This year we had additional talks from the individual projects affiliated to the Research Institute in Automated Program Analysis and Verification (RI2).  The event was attended by 47  participants comprising researchers from… Read more »

Delicious Twitter Digg this StumbleUpon Facebook