caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] [CFP] AFADL 2020 (2e appel)
@ 2020-02-27 11:50 David Delahaye
  0 siblings, 0 replies; only message in thread
From: David Delahaye @ 2020-02-27 11:50 UTC (permalink / raw)
  To: caml-list

[ This message is intentionally written in French. ]

AFADL 2020

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

16-19 juin 2020 - Vannes (France)

http://www.lirmm.fr/afadl2020/

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

* 16 mars 2020 : date limite de soumission
* 13 avril 2020 : notification aux auteurs
* 11 mai 2020 : version finale
* 16-19 juin 2020 : journées AFADL

Bien cordialement,

Ileana Ober et David Delahaye


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-02-27 11:50 [Caml-list] [CFP] AFADL 2020 (2e appel) David Delahaye

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git