You are currently not logged in. Login

Adelard Presents at VeTSS, Microsoft Research Cambridge, UK

VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS) event is organised by the UK Research Institute in Verified Trustworthy Software Systems (VeTSS). The workshop will take place on 24th and 25th September 2018 at Microsoft Research Cambridge in Cambridge, UK. 

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.

Adelard's partner Dr Sofia Guerra is going to give a talk at the workshop. She is an internationally recognised expert on dependability assessment and justification of software-based systems in the nuclear industry.

For more information on this event and to register, please visit https://vetss.org.uk/event/vetss-phd-school-and-sixth-workshop-on-formal-methods-and-tools-for-security-fmats/.