“Things like even software verification, this has been the Holy Grail of computer science for many decades but now in some very key areas, for example, driver verification we’re building tools that can do actual proof about the software and how it works in order to guarantee the reliability."

Bill Gates, 2002

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” - which takes place on Monday August 16th  Your attendance will include:

 * Hearing a keynote presentation by Tom Ball (Principal Researcher, Microsoft Research, Redmond) on their latest research and development with regards to verifying synchronous aspects of core Windows components.
* Visiting the tool vendor and industrial stands that are associated with VSTTE 2010.
* Meeting delegates over a buffet lunch.

If you would like to attend the “Industrial Morning” then please register by August 1st 

More details on the whole VSTTE conference and the associated Verified Software Initiative are provided via the following link: www.macs.hw.ac.uk/vstte10