Scotland has attracted a prestigious international conference that will bring together world leading Software Verification experts from industry and academia – the Verified Software: Theories, Tools and Experiments (VSTTE) Conference is being hosted by Heriot-Watt University between August 16th-19th, 2010.  As part of VSTTE 2010, we are delighted to invite you to an “Industrial Morning”