Loading Events

Upcoming Events

Events Search and Views Navigation

Find Events

Event Views Navigation

Events Search

September 2018

VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS)

September 24 @ 9:00 am - September 25 @ 6:00 pm
Microsoft Research Cambridge, 21 Station Road,
Cambridge, CB1 2FB United Kingdom

Organisers: Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge). The purpose of this joint meeting is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs. One important aim is to foster dialogue between the PhD students, RAs and industry.  The transition from either PhD student or RA to industry…

Find out more »
+ Export Events