« All Events

  • This event has passed.

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

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

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 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.


The programme of FMATS6 is available here. Speakers include world-leading experts in verification, systems, and security, as well as researchers leading projects funded in the recent VeTSS call for research proposals.


Registration is now closed. If you wish to attend the event and have not registered, please email Teresa Carbajo Garcia at t.carbajo-garcia@imperial.ac.uk.

Short talks and Poster Sessions

These are intended as an opportunity for PhD students, RAs and industrialists to introduce themselves to each other and the audience. If participating please e-mail one slide on pdf with a title, name and affiliation to Teresa Carbajo Garcia, with your preferred session, and we will have this uploaded in advance for you. The short talk sessions will be on Monday at 10:30 and 15:00.

The poster session will be on Monday and Tuesday at 12:45. You are welcome to bring the posters in advance, and we will place them in the boards for you but you will need to stand next to your poster at the start of the session.

Workshop dinner:

The workshop dinner, on Monday 24th September, will be at Westminster College, from 19:30. If you are not able to attend the dinner or if you have indicated that you will attend the dinner, and this has now changed, please let Teresa Carbajo Garcia know.


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


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