caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [CFP] AFADL 2019
@ 2019-02-11  9:59 David CHEMOUIL
  0 siblings, 0 replies; 1+ messages in thread
From: David CHEMOUIL @ 2019-02-11  9:59 UTC (permalink / raw)
  To: gdr.gpl, caml-list, ifse

AFADL 2019

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

12-13 juin 2019, ENSEEIHT, Toulouse

<https://afadl2019.sciencesconf.org/>

afadl2019@sciencesconf.org


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 ou à 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).

* Contributions

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

Recherche originale (4-8p). 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 (4-8p). 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 seuls 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-4p). 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-4p). 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-4p). 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=afadl2019>

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

18 mars : date limite de soumission
15 avril : notification
13 mai : version finale
12-13 juin : journées AFADL



-- 
David CHEMOUIL
Computer Science Researcher
ONERA DTIS & University of Toulouse
<tel:+33-5-6225-2936> <http://www.onera.fr/staff/david-chemouil>

^ permalink raw reply	[flat|nested] 1+ messages 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 --
2019-02-11  9:59 [Caml-list] [CFP] AFADL 2019 David CHEMOUIL

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

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