Sixth International Workshop
on Automated Verification
of Critical Systems

Nancy, 18-19 September 2006

Version francaise

Programme Chairs Programme Committee

Organising Committee



Photo Gallery

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).


Topics include:

  • Model Checking
  • Automatic and Interactive Theorem Proving
  • Abstract Interpretation
  • Specification and Refinement
  • Requirements Capture and Analysis
  • Verification of Software and Hardware
  • Verification of Security-Critical Systems
  • Probabilistic and Real-Time Systems
  • Verified System Development
  • Industrial Applications

Two types of contributions will be considered:

  • Regular papers
    • Papers must be 15 pages maximum in length, using the AVoCS '06  LaTeX macro package obtainable at http://www.entcs.org/. Authors should follow the instructions on that webpage.
    • Papers should be submitted in PDF format. Submission information is given below.
    • All regular papers will be refereed.
    • At least one author of each accepted regular paper commits to attend the workshop and give a presentation of 30 minutes.
  • Short presentations
    • Papers must be 5 pages maximum in length, using the AVoCS '06  LaTeX macro package obtainable at http://www.entcs.org/. Authors should follow the instructions on that webpage.
    • Papers should be submitted in PDF format. Submission information is given below.
    • Suitable for short presentations are brief communications, work in progress and postgraduate student work.
    • At least one author of each accepted short paper commits to attend the workshop and give a presentation of 15 minutes.

Invited speakers


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 Formal Aspects of Computing and of Software Tools for Technology Transfer.

Submission of Papers

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
615, rue du Jardin Botanique
F-54602 Villers-lès-Nancy

Fax: +33 383 41 30 79

If you encounter any difficulties, please send a message to the workshop email address.

Important dates

June 2: Submission deadline for abstracts of regular papers
June 9: Extended submission deadline for regular papers
July 15: Acceptance notification
July 28: Updated regular papers for printed proceedings
August 4: Extended submission deadline for short presentations
31 August: Early registration fees !!!!
12 September: Deadline for registration
18-19 September: Workshop


Workshop email address: avocs06<AT>loria.fr

AVoCS '06 Registration

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.

Venue & Travel Information


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

By Plane

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 http://www.metz-nancy-lorraine.aeroport.fr:
Aeroport regional Metz-Nancy Lorraine
57420 GOIN
Phone: (33) 3 87 56 70 00
Fax: (33) 3 87 56 70 54

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).

By Train

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!!!).

By Car

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 Hostel

There 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
54600 Villers-lès-Nancy
Phone: +33 (0)3 83 27 73 67
Website: http://www.fuaj.org/fra/auberges/aj_fiche.php?aj_id=83


Here 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
54000 Nancy
(5 minutes by foot from the station)
Phone: +33 (0)3 83 40 31 24
Website: http://www.albert1-astoria.com

Hotel Akena Nancy

41 rue de Raymond Poincare
54000 Nancy
Phone: +33 (0)3 83 28 02 13

Hotel Le Guise

18 rue de Guise
54000 Nancy
Phone: +33 (0)3 83 32 24 68
Website: http://www.hoteldeguise.com

Hotel Ibis Nancy Centre Gare

3 rue Crampel
54000 Nancy
Phone: +33 (0)3 83 32 90 16
Website: http://www.ibishotel.com

Hotel Best Western

5, rue Chanzy
54 000 Nancy
Phone: +33 (0)3 83 17 54 00
Website: http://www.bestwestern.fr/hotelcrystal

Hotel des Prelats

56 place Mgr Ruch
54 000 Nancy
Phone: 33.(0)
Website: http://www.hoteldesprelats.com

Reaching LORIA

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).

[The Train Station]

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.

[From the
    Callot Stop to the LORIA]

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.

[Detailled map, click to enlarge]