Posts By: PM
Verified Trustworthy Software Systems
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… Read more »
FMATS4 at Microsoft Research, 2015
Institute’s Poster, 2014
Download the Poster – Research Institute presented at the third ACE-CSR/RI Conference, December 16th 2014
INVEST Workshop – November 2014
Annual Report, 2014
The Research Institute in Automated Program Analysis and Verification Annual Report provides an overview of the developments and achievements in 2014, our first year of operation. Download the Annual report 2014 (PDF)
Annual Conference, 2014
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… Read more »
JSCert Project at POPL14
Imperial College London presented their paper “A Trusted Mechanised JavaSript Specification” on the JSCert project at the 41st Principles of Programming Languages Conference in San Diego. The full version of the… Read more »
