Verified Software:

Theories, Tools and Experiments

16th-19th August


Edinburgh, Scotland



Campus accommodation (booked via registration pages)

We highly recommend campus accommodation - a single en-suite bedroom costs 42.50 GBP per night (a limited amount of double rooms are also available on campus -- see registration page for details). Edinburgh becomes very busy during the festival period and hotel rates increase significantly. To better socialise with other participants we therefore highly recommend campus accommodation, and we will provide accommodation on campus  at very competitive rates for Edinburgh festival time.


Campus accommodation can be booked during registration.

Special rate hotels

Although we recommend campus accommodation, attendants at VSTTE which wish to stay in the city centre can get special rates by following this link.

Other hotels

We can also name the following possible hotels for those that wish to stay in the city centre:

  1. Bruntsfield Hotel

  2. The Edinburgh Thistle Hotel

  3. Grosvenor Gardens Hotel

  4. Apex Hotels

  5. The Rowan Guest House

More hotels can be found at the official Edinburgh tourist board.