Loading Events
Find Events

Event Views Navigation

Upcoming Events

Events List Navigation

September 2017

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

September 21 - September 22

The Workshop on Formal Methods and Tools for Security (FMATS), inspired by the grand challenge of software verification, was established in 2011 by Professor Mike Gordon of the University of Cambridge, with the aim of bringing together industry and academia in an effort to properly understand and address the challenges in applying formal methods to security. Since then, three more FMATS workshops have been held in 2013, 2014, and 2015, all at Microsoft Research Cambridge. In 2016, the Royal Society…

Find out more »
+ Export Events