* [Caml-list] [CFP] AFADL 2021
@ 2021-03-02 19:14 David Delahaye
0 siblings, 0 replies; only message in thread
From: David Delahaye @ 2021-03-02 19:14 UTC (permalink / raw)
To: caml-list
[ 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-03-02 19:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-02 19:14 [Caml-list] [CFP] AFADL 2021 David Delahaye
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).