VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS)
Recent news and events
The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) will be held on Tuesday 18th September 2018 in Vasteras, Sweden and collocated with SAFECOMP 2018.
eCassandra to ASCE plugin version 0.1.7 available now
Adelard is pleased to announce that it will be exhibiting at the SMi Defence Safety Conference to be held at Copthorne Tara Hotel, London, UK on 1st October and 2nd October 2018. The conference aims to reduce avoidable deaths, improve protection of capability and preserve the reputation of those that operate, supply and support defence services.
The Government of Canada is hosting the IAEA Technical Meeting on Justification of Commercial Industrial Instrumentation and Control Equipment for Nuclear Power Plant Application in 19-22 June 2018, Toronto, Canada.