AVOCS'06

Sixth International Workshop
on Automated Verification
of Critical Systems

Nancy, 18-19 Septembre 2006


English Version
       

Responsables du Programme Comité du Programme

Comité d'Organisation

 

 

Objectifs

Le but d'AVoCS 2006 est de contribuer à l'interaction et à l'échange des idées parmi des membres de la communauté internationale de recherches sur des outils et des techniques pour la vérification des systèmes critiques. Le sujet doit être interprété largement et inclusivement. Il couvre tous les aspects de vérification automatisée, y compris la vérification automatique, le model checking, l'interprétation abstraite, et le raffinement concernant divers types de systèmes critiques (sûreté, sécurité, performances, systèmes économiquement critiques, etc.). Les contributions qui décrivent des combinaisons de différentes techniques, et les études de cas industrielles sont particulièrement bienvenues.

Le programme technique se composera des exposés invités et contribués et tiendra compte également des présentations courtes de travail continu. Le workshop sera relativement informel, une importance particulière sera accordée aux discussions.

L'appel à contributions est disponible en PDF ici.

Le poster d'AVoCS '06 (format A3 en couleur) est disponible en PDF ici. N'hésitez pas à l'imprimer et l'afficher près de chez vous !

Les précédents AVoCS workshops ont eu lieu à l'Université d'Oxford (2001), l'Université de Birmingham (2002), l'University de Southampton (2003), à la Royal Society in London (2004), et à l'Université de Warwick (2005).

Sujets

Les sujets traités seront les suivants:

  • Model Checking
  • Méthodes automatiques et interactives de déduction
  • Interpretation abstraite
  • Spécification et Raffinement
  • Elicitation et analyse des besoins
  • Vérification de systèmes logiciels et matériels
  • Vérification de la sécurité de systèmes
  • Systèmes probabilistes et temps-réel
  • Conception vérifiée de systèmes
  • Applications industrielles

Deux types de contributions seront acceptées :

  • Articles
    • Ils devront faire au maximum 15 pages en utilisant le LaTeX macro package que vous pourrez obtenir sur le site http://www.entcs.org/. Les auteurs devront suivre les instructions de cette page.
    • Les papiers devront être fournis en format PDF.
    • Tous les papiers seront examinés.
    • Au moins un co-auteur de chaque article accepté assistera au workshop et donnera une présentation de 30 minutes.
  • Presentations courtes
    • Ils devront faire au maximum 5 pages en utilisant le LaTeX macro package que vous pourrez obtenir sur le site http://www.entcs.org/. Les auteurs devront suivre les instructions de cette page.
    • Les papiers devront être fournis en format PDF.
    • Sont appropriées aux présentations courtes les brèves communications, le travail en cours et le travail d'étudiant.
    • Au moins un co-auteur de chaque article accepté assistera au workshop et donnera une présentation de 15 minutes.

    Invités

    Programme

    Pas encore disponible mais vous pouvez consultez la liste des articles acceptés (pdf).

    Proceedings

    Des proceedings préliminaires seront éditées par le LORIA et seront disponibles durant le wokshop. Celles-ci incluront des versions préliminaires des articles et des résumés des présentations courtes. Après le workshop, les auteurs des articles acceptés seront invités à préparer une version finale pour des proceedings dans Electronic Notes in Theoretical Computer Science (Elsevier).

    La préparation d'un numéro spécial dans un journal de haute qualité est en cours de négociation. Les workshops AVoCS précédents ont donné lieu à des numéros spéciaux de Formal Aspects of Computing ainsi que de Software Tools for Technology Transfer.

    Soumission d'articles

    Merci de soumettre vos articles sur la page de soumission AVoCS'06.

    Merci de bien voulour remplir le document Consent to Publish (pdf) et de l'envoyer par poste ou par fax à l'addresse suivante:

    Stephan Merz
    INRIA Lorraine, LORIA
    615, rue du Jardin Botanique
    F-54602 Villers-lès-Nancy
    France

    Fax: +33 383 41 30 79

    Si vous rencontrez des difficultés, n'hésitez pas à écrire à l'adresse du workshop (cf rubrique contact).

    Dates importantes

    2 juin: Dernière limite pour la soumission des résumés d'articles
    9 juin: Extension de la date limite pour la soumission d'articles
    15 Juillet: Notification d'acceptation
    28 Juillet: Mise à jour des articles pour une première publication
    4 Août: Dernière limite pour la soumission des présentations courtes
    18-19 Septembre: Workshop

    Contact

    Adresse mail pour le Workshop: avocs06<AT>loria.fr

    Inscription à AVoCS '06

    Pour vous inscrire, veuillez compléter le formulaire d'inscription (pdf, doc) et l'envoyer par fax ou courrier à l'adresse indiquée ci-dessus. La formulaire et les frais d'inscription doivent parvenir jusqu'au mardi 12 septembre 2006. Le tarif préférentiel est valable jusqu'au 31 août 2006.

    Les frais d'inscription comprennent une copie des actes, ainsi que le repas de midi pour les deux jours du workshop, les pauses café et le dîner de gala lundi soir.

    Une liste d'hôtels est donnée ci-dessous. Le LORIA est proche du centre ville et facilement accessible par les transports communs.

    Lieu du workshop

    Le workshop aura lieu dans le Laboratoire Lorrain de Recherche en Informatique et ses Applications LORIA située à Nancy, France.

    Voici quelques informations concernant le voyage à Nancy qui vous seront utiles. Il est possible de se rendre à Nancy par avion, par train ou en voiture..

    Comment rejoindre Nancy ?

    Par avion

    L'aéroport régional de Nancy-Metz-Lorraine est localisé entre Nancy et Metz. Un serviec de navettes (companie Aerolor, prix 7 EUR) est à votre disposition pour effectuer la liason entre l'aéroport et la gare de Nancy en 35 minutes.

    Cet aéroport fait des connections principalement dans la France, mais il peut être utilie via vols de conections (par exemple, il y a des vols réguliers pour Paris).

    Pour plus d'information: http://www.metz-nancy-lorraine.aeroport.fr:
    Aéroport régional Metz-Nancy Lorraine
    57420 GOIN
    Phone: (33) 3 87 56 70 00
    Fax: (33) 3 87 56 70 54

    Cependant si vous débarquez à l'un des aéroports internationaux (Paris, Luxemburg, Francfort, etc.), vous devez terminer votre trajet par train jusqu'à la gare de Nancy. Une fois arrivé à la gare, vous devez prendre la ligne 1 du Tram jusq'au LORIA (voir Aller à la conférence).

    Par train

    La gare de Nancy est située au centre ville. Près de cette dernière se trouve l'arrêt du Tram 1, lequel vous amènera jusqu'au LORIA (voir aller à la conférence).

    Nancy dispose de connections (entre autres) avec Paris, Luxembourg, Munich, Vienne, etc. Pour plus d' information, visitez le site web de la SNCF: http://www.voyages-sncf.com

    En voiture

    L'axe principal reliant Paris, Strasbourg, Saarbruck ou Francfort à Nancy en voiture est l'autoroute A31 (E23).


    Où se loger ?

    Auberge de Jeunesse

    Il y a un auberge de jeunesse situé dans un château près du LORIA (5 minutes à pied). Les chambres ont environ 3 ou 4 lits. Le prix par personne par nuit est de 13.90 Euros et inclut les draps et le petit déjeuner.

    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

    Hôtels

    Voici une liste d'hôtels recommandés. Le plus simple est de réserver une chambre dans un hôtel du centre ville et d'emprunter le tram jusqu'au LORIA. Pour de plus amples informations, consultez le site de l'office du tourisme de Nancy.

    Hôtel Albert 1er

    3 rue de l'Armée Patton
    54000 Nancy
    (5 minutes à pied depuis la gare)
    Phone: +33 (0)3 83 40 31 24
    Website: http://www.albert1-astoria.com/

    Hôtel Akena Nancy

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

    Hôtel De Guise

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

    Hôtel Ibis Nancy Centre Gare

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

    Hôtel Best Western

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

    Hôtel des Prelats

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

    Comment se rendre au LORIA


    Arriver au LORIA depuis la gare

    La façon la plus facile d'arriver au LORIA est prendre le Tram 1 (qui est la seule ligne de tram sur Nancy).

    [La gare]

    Le plan montre la localisation de l'arrêt du tram la plus proche de la gare. Vous devez prendre le tram dans la direction Vandoeuvre, CHU Brabois, et descendre à l'arrêt Callot (après environ 20 minutes).

    Il y a des distributeurs de tickets (qui ne marchent qu'avec de la monnaie) à chaque arrêt. Il faut absolument acheter le ticket avant de monter dans le tram.

    Le plan suivant (en format PDF) pourra vous être utile :

    ISR'2006 aura lieu au LORIA. Dans le plan ci-dessous vous verrez le bâtiment en rouge. Remarquez aussi le chemin à suivre depuis l'arrêt "Callot" du tram jusqu'au lieu d'accueil, un trajet qui prend 5 minutes à pied.

    [De l'arrêt 
Callot au  LORIA]

    Voici un plan détaillé du lieu de la conférence.

    [Plan détaillé. Cliquer pour 
agrandir]

>