Formal Methods and Tools for Security (FMATS4)

Repel, D. (Participant)

Information Security
CDT in Cyber Security for the Everyday

Activity: Participating in or organising an event › Workshop, seminar, course or webinar.

Description

Hosted at Microsoft Research Cambridge, FMATS4 includes research presentations and scientific discussions by the Research Institute in Automated Program Analysis and Verification, industrial presentations from companies focussing on verification, PhD lightning talks and posters, further invited academic talks.

Period	11 Jun 2015 → 12 Jun 2015
Event type	Other
Sponsor