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!