[Caml-list] [CFP] AFADL 2021

[Caml-list] [CFP] AFADL 2021

[David Delahaye]

[ This message is intentionally written in French. ]

AFADL 2021

20èmes journées Approches Formelles dans l'Assistance au Développement 
de Logiciels
(colocalisées avec les journées annuelles du GDR GPL)

Juin 2021 en distanciel

http://www.lirmm.fr/afadl2021/

Étant donnée la pandémie de Covid-19 qui sévit toujours, les journées 
nationales du GDR GPL prévues à Vannes cette année auront lieu 
entièrement en distanciel et ce sera également le cas en particulier 
d'AFADL 2021. Le processus de relecture et de sélection des articles 
reste le même et les auteurs des articles sélectionnés seront invités à 
présenter leurs travaux en distanciel en juin 2021.

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 (mais pas 
exclusivement) 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), aussi bien qu’à l’adaptation des approches formelles aux 
techniques d’apprentissage automatique.

Cinq sortes de contributions sont attendues (elles seront toutes 
publiées dans les actes de la conférence) :

Recherche originale (4 à 8 pages)

Un tel article présente une problématique de recherche académique ou 
industrielle et des résultats non encore publiés, de façon ciblée pour 
la communauté francophone. Des articles courts sont acceptables s'ils 
correspondent à la présentation motivée d'un problème et de travaux en 
cours, d’un point de vue ou d’une approche émergente ou d’expériences 
industrielles.

Session doctorants (2 à 4 pages)

Pour permettre aux doctorants de présenter leurs travaux en cours et 
d’avoir un retour de la communauté, le comité de programme invite les 
doctorants à soumettre un papier présentant leur problématique et leurs 
résultats préliminaires ou déjà publiés. Les doctorants retenus pour 
cette session pourront faire une demande de bourse pour participer aux 
journées.

Démonstrations d'outils (2 à 4 pages)

Un article de démonstration d'outil vise à présenter l'originalité, la 
pertinence et les performances d'un outil de recherche académique ou 
industrielle. 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, 
...). Celui-ci pourra, selon le désir des auteurs, être couplé ou non à 
un poster outil aux journées du GDR.

Présentations de projets (2 à 4 pages)

Il s'agit de présenter un projet accepté, d'envergure nationale ou 
internationale, ainsi que quelques-uns des résultats obtenus dans ce 
projet. L'article mentionnera les noms des partenaires, l’agence de 
financement, les objectifs et les dates du projet.

Résumés longs (2 à 4 pages)

Ce sont des présentations de recherches publiées récemment. Pour éviter 
que les meilleurs travaux de la communauté francophone soient uniquement 
présentés 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. 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é).

Soumission

Les contributions sont à soumettre via Easychair 
(https://easychair.org/conferences/?conf=afadl2021). 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}

Les actes de la conférence seront publiés dans un rapport technique de 
l’Institut de Recherche en Informatique de Toulouse et de l’Université 
Toulouse III - Paul Sabatier, répertorié à la BNF.

Dates importantes

* 12 avril 2021 : date limite de soumission
* 10 mai 2021 : notification aux auteurs
* 24 mai 2021 : version finale
* Juin 2021 : journées AFADL