11-13th September 2013

Guildford, Surrey

13th International Workshop on Automated Verification of Critical Systems

About the University of Surrey, Guildford

The University is situated in the south of England. It is easily reachable by train from the major airports in Heathrow and Gatwick. It is renowned for its science and engineering research with many links to industry.

Local Information

The workshop will be held at the University. Here is information about how to get to the University. The information on this university site is all corrected apart from the parking information. As a delegate you will be provided with parking permits for the campus car park, therefore if you are driving there are no additional parking costs.

Guildford is a small city and information about places to go and visit can be found on the Visit Surrey site.

Preparing for your visit

Please go to the register pane of the website to find the information on how to get to Guildford and pick up your keys.

Local Restaurants for dinner on Wednesday evening

You can find on this map details of local restaurants and pubs.

Location of Conference dinner on Thursday evening

The conference dinner will be in the Zizzi's italian restaurant. It will be informal, with a shared platter to start. On the day of registration you will choose your main course and sweet.

You can find google directions on how to get from campus to Zizzi's on the High Street in Guildford here. It takes about 25-30 minutes to walk from campus to the restaurant, the quickest route is along the river.

You can also download this PDF of the directions.