« All Events

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

September 24 @ 9:00 am - September 25 @ 6:00 pm

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 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 of the programme are being finalised and will be announced shortly. Speakers include:

  • Anindya Banerjee (NSF, USA), Program manager for the “Formal Methods in the Field” NSF call
  • Karthik Bhargavan (Inria, France), Expert in formal analysis of large security-critical applications
  • Gernot Heiser (Data61, Australia), Originator of the sel4 verified microkernel
  • Suresh Jagannathan (Purdue, USA), Leader of three DARPA projects focussed on formal methods
  • Stephen Magill  / Mike Dodds (Invariance/Galois, USA), Experts in static and dynamic program analysis
  • Sophia Guerra (Adelard), Expert on dependability assessment and justification of software-based systems in the nuclear industry

There will also talks by researchers leading projects funded  in the recent VeTSS call for research proposals, short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience and a panel of young PhD students, RAs and industrialists informing us about their experience.


To register, please complete this short online booking form.

There is no charge for the workshop. Complimentary tea/coffee, lunches and a workshop dinner at a nearby College will be provided. Participants are expected to make their own travel and accommodation arrangements. Dinner places will be allocated on a first-come first-served basis.

Poster Session

To provide with a further opportunity for PhD student and RAs to network and discuss their research we will also hold a poster session. Please indicate during registration if you plan to bring a poster.

Travel Grants

PhD students may apply for a travel grant, see the Travel grants page.


September 24 @ 9:00 am
September 25 @ 6:00 pm


Microsoft Research Cambridge
21 Station Road,
Cambridge, CB1 2FB United Kingdom
+ Google Map
+44 1223 479700