Verified Software:

Theories, Tools and Experiments

16th-19th August


Edinburgh, Scotland


Local information

Getting to the Conference Venue

The conference is being held at the Edinburgh Conference Centre (ECC), which is located on the Heriot-Watt University Edinburgh Campus. The Heriot-Watt Campus is 6 miles west of the centre of Edinburgh, and 4 miles south of Edinburgh Airport.  For location maps and details on how to reach the campus click here.

Heriot-Watt Campus Accommodation and Breakfast

If you have reserved accommodation on campus for VSTTE 2010, then you can pick-up your key from the University Main Reception -- location "A" on the Edinburgh Campus Map. The University Main Reception is always open, so arriving late is not a problem. However, late at night you may have to ring an external bell at the side of the reception doors in order to gain access.

Delegates have been allocated en-suite rooms in 2 locations on campus, i.e. Leonard Horner Hall and Robert Bryson Hall -- buildings "m" and "j" respectively on the Edinburgh Campus Map.

All rooms are wired for the Internet. But note, you will need to provide your own Ethernet cable to connect your laptop. Note that if you are a MAC user, and you intend to use your MAC for your presentation, then you will need to bring your own adaptor to connect to the standard 15 pin SVGA connector provided.

Breakfast is served from 7am every morning in the Main Dining Room on the Middle Floor of the Hugh Nisbet Building (building "N" on the Edinburgh Campus Map), which can be accessed via the University Main Reception. A map showing the internal layout of the Hugh Nisbet Building and the James Watt Centre can be accessed by clicking here.

Heriot-Watt's campus contains historic gardens, woodlands and a loch -- perfect for walking and jogging -- route maps will be provided in your delegate pack.

Conference Centre and VSTTE Registration

The Edinburgh Conference Centre is located in the James Watt Centre and is situated to the right of the University Main Reception desk (location "A" on the Edinburgh Campus Map).

The VSTTE 2010 Registration Desk will be located at the entrance to the ECC. Registration and delegate packs will be available from the Registration Desk from shortly after 8am on Monday August 16th.

The Opening Address of VSTTE 2010 will take place at 9am on Monday August 16th within the Main Auditorium of the ECC.

Wireless is available throughout the ECC, access instruction will be provided in your delegate pack.

Festival city

August is festival time in Edinburgh, and the conference will coincide with the following festivals:


For more locale information, the Edinburgh Convention Bureau has recommended the following sites:

  1. Experience Edinburgh - this site contains various tours, restaurants, shopping and golf courses.

  2. Bus Discounts - from this sites conference participants can get a small discount on bus fares with Lothian buses.

  3. Inspiring Capital - this site is a comprehensive site detailing all the major events in the city and has a wealth of useful information for delegates.

Map with some venues