Registration is now open for the First VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS), to be held at Microsoft Research Cambridge on 24-25 September 2018.
The purpose of this joint meeting, organised by Philippa Gardner (Imperial), Cedric Fournet and Antoine Delignat-Lavaud (MSR Cambridge), 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 is known to be difficult, with each individual essentially making it up as they go along. One hope is that, through FMATS and VeTSS, it will be possible to build up a level of understanding of the opportunities out there in for analysis and verification enthusiasts in the industrial sector. Suggestions are welcome on how to make this work.
Details on how to register and the travel grants available for PhD students can be found at the meeting page.