Codeplay is attending the Royal Society meeting on Verified Trustworthy Software Systems

30 March 2016

Codeplay will be attending the Royal Society meeting on Verified Trustworthy Software Systems at Imperial College London from 4 - 7 April.

Software faults cause widespread problems in society. Symbolic verification provides promising solutions to these problems. The field is coming of age: verification techniques scale; tools are tractable; and real-world programs can be verified. These meetings bring together academics, industrial experts and government scientists to identify key challenges in establishing verification at the heart of the software design process.

The meetings' talks and discussions will comprise verification experts, systems and security experts interested in verification, industrialists using verification, government scientists thinking about verification challenges in cyber security and the certification of software, renowned experts as well as promising young researchers from the fields of verification, systems, and security.

Attending from Codeplay will be one of our engineers, Jeroen Ketema. We’re always delighted to speak with anyone interested in what we’re doing, so please come and say “hello”. If you would like to arrange a meeting with us at the event, please use our contact form or follow us on @codeplaysoft and make contact!

Codeplay Software Ltd has published this article only as an opinion piece. Although every effort has been made to ensure the information contained in this post is accurate and reliable, Codeplay cannot and does not guarantee the accuracy, validity or completeness of this information. The information contained within this blog is provided "as is" without any representations or warranties, expressed or implied. Codeplay Sofware Ltd makes no representations or warranties in relation to the information in this post.
Dane Sutherland's Avatar

Dane Sutherland

Community Member