11-13th September 2013

Guildford, Surrey

13th International Workshop on Automated Verification of Critical Systems

Registration Fees and Details

Regular Student
Early Bird (up to and including 8th August) 180 GBP 130 GBP
After 8th August 220 GBP 170 GBP

Both types of registation include, coffee breaks, lunch and conference dinner. It does NOT include accommodation (see below).

You can register, book accommodation, and pay through the Surrey Online Store. (You will first create a surrey online store account and then you can register delegates, stepping through a number of registration pages.)


Accommodation is available on the University of Surrey campus, and can be booked with your registration using the above link. A limited number of rooms are available on Tuesday evening 10th September. Rooms are available on Wednesday 11th and Thursday 12th July inclusive. The conference rate for bed and breakfast is GBP 40 per night.

Guildford also has many hotels and B&B. Visit Surrey is the local website for accommodation in Surrey.

Preparing for your visit

Please download here the avocs information leaflet.

  • The rooms that have been allocated to you are based in University Court. However, you will either pick up your keys from Security (if you arrive late at night, the security office in in the SE building on the campus map) or Stag Hill Court reception (marked reception in between buildings 8 and 25 in the bottom right hand corner of the campus map). Security or reception will have the names of those who have booked accommodation.
  • If you are coming from Gatwick South terminal then there is a direct train to Guildford. Travel times range from 39 mins to 1 hour at a cost of around 11 pounds off peak and 15 pounds anytime. You can find the information on the National Rail Enquires website.
  • If you are coming into Heathrow there is a train but you will have to change.
  • Once you arrive at the station we have included an informal pictorial map of how to get to the heart of the campus.
  • If you are thinking of booking a cab it is cheaper to book one in advance. When we travel with work we often use Beeline cars and they come to meet you at arrivals. When booking you provide the flight information. But of course this is a more expensive option than going by train.
  • If you are driving the leaflet also contains a parking permit. The permit is valid for the "main car park" only.
  • Registration for the conference will take place outside Lecture Theatre M which is in the LT building on the campus map.
  • Our arrangements for lunch on Friday means that there is flexibility for getting away at a time that fits with your travel plans. Hillside is the restaurant on campus which offers a range of food from a sandwich to a hot meal.