Appel à contributions

L’atelier AFADL rassemble  de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :

  • les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes,
  • les méthodes et processus permettant d’exploiter efficacement les techniques et outils formels disponibles ou conçus,
  • les méthodes et processus mettant en œuvre des techniques formelles différentes et hétérogènes dans un développement,
  • les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.

Les techniques et outils présentés assistent notamment les activités suivantes :

  • la modélisation, la validation et la gestion d’exigences formelles applicables aux logiciels,
  • les spécialisations ou extensions de techniques de modélisation et d’évaluation induites par des domaines applicatifs (télécommunication, contrôle-commande, robotiques, systèmes interactifs, architectures, composition de services, applications distribuées sur le web, ..) ou des points de vue particuliers sur les systèmes (sécurité informatique, exécution temps réel, …),
  • le passage d’une étape de conception à la suivante: patrons de raffinement de spécifications, déploiement d’une architecture logicielle sur une architecture matérielle, génération automatique de code, réutilisation de composants, …
  • le test et l’évaluation rigoureuse de modèles formels ou codes,
  • la spécification et la vérification formelles d’architectures, de modèles et de programmes.

On s’intéressera aussi à la combinaison d’approches formelles avec des approches informelles ou semi-formelles, à la coopération de techniques formelles de développement avec des techniques plus classiques (par exemple à la complémentarité vérification formelle / test pour les aspects V&V).

Cinq types de contributions sont attendus :

  • Articles courts. Les auteurs sont invités à soumettre un article d’au plus 6 pages. Un article court peut correspondre à la présentation d’un point de vue ou d’une approche émergente, de travaux de doctorants en cours, d’expériences industrielles. L’article sera publié dans les actes de la conférence.
  • Démonstration d’outils. Les auteurs sont invités à soumettre un article d’au plus 4 pages. Celui-ci pourra, selon le désir des auteurs, être couplé ou non à un poster outil aux journées du GDR. L’article précisera les noms des auteurs, le nom de l’outil, les services offerts par l’outil et éventuellement des pointeurs vers des sources d’informations complémentaires (principes techniques sous-jacents, mode d’emploi, compte-rendu d’application, …). L’article sera publié dans les actes de la conférence.
  • Présentations de projets. Les auteurs sont invités à soumettre un résumé d’au plus 2 pages décrivant au moins les noms des partenaires, l’agence de financement, les objectifs et les dates du projet. Le résumé sera inclus dans les actes de la conférence, s’il est accepté.
  • Résumé long. Présentations de recherches publiées récemment. Pour éviter que les meilleurs travaux de la communauté francophone ne soient uniquement présentés que dans les conférences ou revues internationales, le comité de programme invite tout membre de la communauté ayant un article en cours de soumission ou récemment accepté (depuis l’édition précédente) à une conférence ou revue internationale à le soumettre également à AFADL pour présentation. S’il est accepté, un résumé long d’une à deux pages en français de l’article sera inclus dans les actes de la conférence. La référence bibliographique du travail d’origine devra être indiquée lors de la soumission, ainsi que le statut du papier (soumis ou accepté).
  • Section doctorant. Pour permettre aux doctorants de présenter leur travaux en cours et d’avoir un retour de la communauté, le comité de programme invite les doctorants à soumettre seul un papier de 2-3 pages présentant leur problématique et leurs résultats préliminaires ou déjà publiés. Les doctorants retenus pour cette section pourront faire une demande de bourse pour participer aux journées.

Soumission

Les contributions sont à soumettre via easychair : https://easychair.org/conferences/?conf=afadl2018

Le format des documents doit être analogue au format latex A4, times, french, 11pt, sans numéros de pages :
\documentclass[a4paper, french, 11pt]{article}
\usepackage{times}
\pagestyle{empty}

Dates importantes

Soumission (de 2 à 6 pages) : 02 mars 2018  étendue au 16 mars 2018

Notification aux auteurs : 06 avril 2018  étendue au 13 avril 2018

Soumission version finale : 27 avril 2018  étendue au 4 mai 2018

Déroulement des journées : du 13 au 15 juin (simultanément aux journées nationales du GDR GPL)

Programme

Mardi 12 juin
11h-12h30 Conférence invitée
Marc Frappier (Université de Sherbrooke)

 

Mercredi 13 juin
9h-10h30 Conférence invitée
Houari Sahraoui (Université de Montréal)
10h30-11h Pause
11h-12h30 Antoine Rollet et Arnaud Lanoix, Ouverture des journées AFADL
Session 1 : LTP / AFADL

  • Thomas Williams, Didier Rémy,
    Une approche structurée de l’ornementation pour ML
  • Pierre-Marie Pédrot, Nicolas Tabareau,
    Une dépendance qui fait de l’effet
  • Yann Regis-Gianas, Paul Laforgue,
    Etendre OCaml avec du filtrage par comotifs, avec une simple macro
12h30-14h Pause déjeuner
14h-15h30 Session 2 : MFDL / AFADL

  • Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet,
    Génération de modèles pour les formules quantifiées : une approche basée sur la teinte
  • Yoann Blein, Yves Ledru, Lydie Du Bousquet, Roland Groz,
    Extension des patrons de spécification pour la vérification de traces paramétriques
  • Akram Idani,
    Mise en oeuvre d’une approche formelle en ingénierie des modèles
  • Sarah Benyagoub, Yamine Ait Ameur, Meriem Ouederni,
    Construction incrémentale de chorégraphies réalisables
15h30-16h Pause
16h-17h30 Prix de thèse GDR GPL
17h30-18h30 AG du GDR

 

Jeudi 14 juin
9h-10h30 Conférence invitée
TBA
10h30-11h Pause
11h-12h30 Session 3 : MTV2 / AFADL

  • César Augusto Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels,
    Génération automatique des procédures de test
  • Fadi Obeid, Philippe Dhaussy,
    Validation formelle d’architecture logicielle basée sur des patrons de sécurité
  • Antoine El-Hokayem, Yliès Falcone,
    THEMIS: A Tool for the Design, Development, Analysis of Decentralized Monitoring Algorithms
  • Raphaël Jakse, Yliès Falcone, Jean-François Mehaut,
    An Overview of Interactive Runtime Verification
12h30-14h Pause déjeuner
14h-15h30 Session 4 : AFADL

  • Thomas Genet, Timothée Haudebourg, Thomas Jensen,
    Vérifier des fonctions d’ordre supérieur à l’aide d’automates d’arbre
  • Alain Giorgetti, Rémi Lazarini,
    Preuve de programmes d’énumération avec Why3
  • Pascal Beger, Sébastien Leriche, Daniel Prun,
    Vers la certification de programmes interactifs Djnn
  • Valentin Touzeau, Claire Maiza, David Monniaux,
    Une analyse précise de caches LRU
15h30-16h Réunion du CP AFADL
+
Pause
16h-18h Session 5 : AFADL

  • David Sferruzza, Rocheteau Jérôme, Christian Attiogbe, Arnaud Lanoix,
    Une méthode dirigée par les modèles pour la construction rapide de services web
  • Elliott Blot, Patrice Laurençot, Sébastien Salva,
    COnfECt: Une Méthode Pour Inférer Les Modèles De Composants D’un Système
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall,
    Algorithme rapide de calcul des dépendances de contrôle sur des graphes arbitraires
  • Allan Blanchard, Nikolai Kosmatov, Frederic Loulergue,
    Des listes et leurs fantômes : vérification d’un module critique de Contiki avec Frama-C
  • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall,
    RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Comité de programme

Présidents du comité de programme
  • Antoine Rollet (LaBRI, Bordeaux INP)
  • Arnaud Lanoix (LS2N, Nantes)
Organisateurs locaux
  • Yves Ledru (LIG, Grenoble)
  • Sophie Dupuy-Chessa (LIG, Grenoble)
Comité de programme
  • Yamine Ait Ameur (IRIT – INPT-ENSEEIHT)
  • Sandrine Blazy (University of Rennes 1 – IRISA)
  • Pierre Casteran (Université de Bordeaux)
  • Frederic Dadeau (FEMTO-ST)
  • David Deharbe (ClearSy System Engineering)
  • Lydie Du Bousquet (LIG – Grenoble)
  • Catherine Dubois (ENSIIE-Samovar)
  • Christele Faure (SafeRiver)
  • Alain Giorgetti (LIFC, University of Franche-Comte)
  • Aurélie Hurault (IRIT – ENSEEIHT)
  • Akram Idani (LIG – Grenoble)
  • Florent Kirchner (CEA LIST)
  • Nikolai Kosmatov (CEA List)
  • Regine Laleau (Paris Est Creteil University)
  • Pascale Le Gall (CentraleSupelec)
  • Yves Ledru (LIG – Université Grenoble Alpes)
  • Nicole Levy (Cedric, CNAM)
  • Delphine Longuet (Univ. Paris-Sud, LRI)
  • Ioannis Parissis (Univ. Grenoble Alpes – Grenoble INP)
  • Pascal Poizat (Université Paris Nanterre and LIP6)
  • Marie-Laure Potet (Laboratoire Vérimag)
  • Marc Pouzet (LIENS)
  • Vlad Rusu (INRIA)
  • Nicolas Stouls (INSA Lyon, CITI)
  • Safouan Taha (CentraleSupelec)
  • Sylvie Vignes (ENST)
  • Laurent Voisin (Systerel)
  • Virginie Wiels (ONERA / DTIM)
  • Fatiha Zaidi (Univ. Paris-Sud)

 

Contact

Co-chairs
  • Antoine Rollet (antoine.rollet AT labri DOT fr)
  • Arnaud Lanoix (Arnaud.Lanoix AT univ-nantes DOT fr)
Localisation
Organisation locale et inscription

http://gpl2018.imag.fr