Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

April 2016

Verified Trustworthy Software Systems

April 4, 2016 - April 7, 2016
Imperial College London

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 »

June 2015

Fourth Workshop on Formal Methods And Tools for Security (FMATS)

June 11, 2015 - June 12, 2015
Microsoft Research Cambridge

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 »

October 2014

UK Cyber Security Research Conference 2014

October 10, 2014
BIS Conference Centre, 1 Victoria Street
London, SW1H 0ET United Kingdom
+ Google Map

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 »

May 2014

Third Workshop on Formal Methods And Tools for Security (FMATS3)

May 1, 2014 - May 2, 2014
Microsoft Research Cambridge

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 »

January 2014

Concurrency Verification Workshop at POPL 2014

January 22, 2014 - January 24, 2014
Unnamed Venue San Diego, United States

The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.

Find out more »
+ Export Events