Events Search and Views Navigation
The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.Find out more »
The Research Institute is co-organising the Third Workshop on Formal Methods And Tools for Security (FMATS3).
Update on 6th May 2014:
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 academia, industry and government and included talks on 16 different topics (see agenda). On the 2nd day, we had a poster session along with bite-size introductions from nine winners of the "PhD Prizes". In the discussion session on the future of the FMATS workshop, it was agreed that the FMATS community should be opened to other complementary networks like CryptoForma and adopt ideas from other similar events like NSA's HCSS conference.
The future organisation of FMATS will be led by the Director of RI2, Professor Philippa Gardner of Imperial College, London.
To keep updated on future FMATS events email Anuj Sood, Program Manager of RI2 at a.soodxximperial.ac.uk (replace xx by @).Find out more »
The two National Cyber Security Programme sponsored cyber security Research Institutes are organising their first joint annual highlights conference, at the Department for Business, Innovation & Skills (BIS) on 10th October 2014. The purpose of the conference is to present this leading edge initiative and its outcomes to decision-makers from academia, government and industry.Find out more »
FMATS4 was successfully held at Microsoft Research Cambridge on 11 and 12 June 2015. The event was attended by more than 65 participants comprising researchers, industrialists and government employees, and included specialist talks on 15 different topics.Find out more »
Software faults cause widespread problems in society. Symbolic verification provides promising solutions to these problems. The field is coming of age: verification techniques scale; tools are tractable; and real-world programs can be verified. This meeting brings together academics, industrial experts and government scientists to identify key challenges in establishing verification at the heart of the software design process.Find out more »