Sixth International Workshop
Photos of the whole event can be found here.
The aim of AVoCS 2006 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe combinations of different techniques, and industrial case studies are particularly welcome.
The technical program will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion.
The Call for Papers is available in PDF format here.
The Poster for AVoCS '06 (A3 size, full colour) is available in PDF format here. Please feel free to print a copy and advertise in your department.
Previous AVoCS workshops were held at the University of Oxford (2001), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), and the University of Warwick (2005).
Two types of contributions will be considered:
The workshop programme can be found here.
Preliminary proceedings will be published by LORIA and will be available at the workshop. These will include preliminary versions of regular papers and abstracts of short presentations. After the workshop, authors of regular papers will be asked to prepare a final version for proceedings in Electronic Notes in Theoretical Computer Science (Elsevier).
Preparation of a special issue of a high-quality
journal is under negotiation. Previous AVoCS workshops have given
rise to special issues of
Please submit your paper through the AVoCS'06 submission system.
Also, we need you to fill in the following Consent to Publish (pdf) form. Please sign it and send it or fax it to the following address:Stephan Merz
INRIA Lorraine, LORIA
615, rue du Jardin Botanique
Fax: +33 383 41 30 79
If you encounter any difficulties, please send a message to the workshop email address.
Workshop email address: avocs06<AT>loria.fr
To register, please fill in this form (pdf, doc) and fax it or send it to the indicated address as soon as possible. Your registration form and payment must be received by Tuesday 12 September 2006 at latest. More interesting early registration fees are available until 31 August !!!!!.
The workshop fee includes a copy of the pre-proceedings. It also includes lunch on both days, coffee breaks and a gala dinner on Monday night.For accomodation please check the list of hotels below. The LORIA laboratory is close to the center and is easily accessible by public transportation.
For members of LORIA please send an email to avocs06<AT>loria.fr to register.
The workshop will be located at the LORIA laboratory in Nancy, France.
Here is some information concerning travel to Nancy that might be useful. The city of Nancy can be reached by plane, by train, or by car.
How to reach Nancy
Metz-Nancy-Lorraine regional airport is situated between Nancy and Metz. There is a service of "navettes" (company Aerolor, price EUR 7) linking the airport and the center of Nancy and the train station, which takes about 35 minutes.
This airport mainly provides connections within France, but it can be use via connecting flights (e.g., there are regular flights to Paris).
More information (in French) at
As Nancy only has a regional airport, people arriving to the nearest international airport (Paris, Luxemburg, Frankfurt, etc.) will probably complete their journey by train arriving to Nancy's train station. Once you are at the train station, take Tram 1 to the LORIA site (see Reaching the conference).
Nancy train station is situated in the center of Nancy. Very close to the station is the stop of Tram 1, which will take you to LORIA (see Reaching the conference).
Nancy has direct train connections (among others) to Paris, Luxembourg, Munich, Vienna, etc. For more information on the French Train system visit http://www.voyages-sncf.com (information available in French, English, German, Spanish, Italian and Dutch!!!).
The main access to Nancy by car from Paris, Strasbourg, Saarbruecken and Frankfurt is with the A31 (E23) road. You can drive by car by the A4 highway from Paris (around 3 hours), the E25, A31 highways from Luxembourg (around 1 hour), the A4 highway from Strasbourg (around 1 hour and haf), the A31 highway from Dijon (around 2 hours), the E411-A4, E25, A31 highways from Brussels (around 3 hours).
Youth HostelThere is a youth hostel located at a castle very close to the LORIA (5 minutes walk). Rooms have about 3 or 4 beds. The price per person per night is 13,90 Euros and includes sheets and breakfast.
149 rue de Vandoeuvre
HotelsHere is a list of recommended hotels. It is convenient to choose an hotel in the center, and to use the tram to reach the conference building. You may also visit the Nancy Tourism Office website for other hotels (online booking is available).
Hotel Albert 1er
3 rue de l'Armee Patton
Hotel Akena Nancy
41 rue de Raymond Poincare
Hotel Le Guise
18 rue de Guise
Hotel Ibis Nancy Centre Gare
3 rue Crampel
Hotel Best Western
5, rue Chanzy
Hotel des Prelats
56 place Mgr Ruch
Most problably, people will be arriving by train to Nancy. Nancy only has a regional airport, so also people arriving to the nearest international airpors (Paris, Luxemburg, Frankfurt, etc.) will probably complete their journey by train.
Reaching the LORIA Site from the Train Station
The easiest way to reach the LORIA, where ISR is going to take place from the train station, is to take Tram 1 (this is the only tram line in Nancy).
In the map you can see the situation of the Train Station and the nearest stop of Tram 1. You have to take the tram in the direction Vandoeuvre, Chu Brabois. And step down in the Callot stop (it is a 20 minutes ride).
There are automatic ticket machines (you'll need coins though, bills or cards are not accepted) in the stop of the tram. You cannot buy the ticket on the tram, so remember to buy the ticket before boarding the tram.
The following pdf file might be useful:
The workshop will take place in the building of LORIA. In the map you can see highlighted the building of LORIA where the workshop is going to take place. We have also marked in white the path from the nearest tram station (stop Callot, of Tram 1). It takes about 5 minutes walking from the tram station to the LORIA site. Here is a map of the LORIA location.
Here is a detailled plan of the conference location. Coffee breaks and lunches will also be taken there. In the LORIA building, you will be able to get an Internet connection, either in the room with machines, or using your own notebook with WiFi connection.