[TYPES/announce] VeTSS PhD School and FMATS, MSR Cambridge, September 24th-25th

Gardner, Philippa A p.gardner at imperial.ac.uk
Wed Sep 12 16:37:00 EDT 2018


Hello everyone,

It is my pleasure to invite you to the 6th Workshop on Formal Methods and Tools for Security (FMATS), that will take place in Microsoft Research Cambridge, on 24th-25th September, organised and supported by VeTSS, the UK Research Institute in Verified Trustworthy Software Systems, and Microsoft Research Cambridge. The goal of this workshop 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.

The workshop will consist of two days of talks given from world-leading experts from academia (Cambridge, Imperial College London, Inria Paris, University College London, Purdue, etc.), industry (Adelard, Galois, Google, Data61, etc.), and funding bodies (NSF). The full programme is available HERE<https://vetss.org.uk/fmats-timetable/>.

Registration is free of charge, with complimentary tea/coffee, lunches and a lovely dinner at Westminster College. You can find more information about the workshop and register HERE<https://vetss.org.uk/event/vetss-phd-school-and-sixth-workshop-on-formal-methods-and-tools-for-security-fmats/>. The deadline for registration is September 20th.

We particularly encourage PhD students and postdocs to attend, as there will be plenty of opportunities to interact with  academics and industrialists from the UK and worldwide. There will be a poster session where they can present their work, and also a slot during the workshop itself for them to briefly introduce themselves to all of the participants. Finally, there’s a small number of travel grants available, for which they can apply via the above link.

Best wishes,
Philippa Gardner

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180912/469893ea/attachment.html>


More information about the Types-announce mailing list