Fifth Workshop on Formal Methods and Tools for Security (FMATS5), 21-22 September 2017

Almost a hundred participants attended this year’s FMATS, held on 21-22 September at Microsoft Research Cambridge. The workshop was attended by researchers, PhD students, industrialists and government employees with a common interest in formal methods and verification. The programme included 19 talks addressing key research topics from the field of formal methods and their application to security, all with the aim of fostering discussion between participants. For the full programme of talks and slides please see the FMATS5 page.

Delicious Twitter Digg this StumbleUpon Facebook