Appel à contributions

L'atelier AFADL rassemble des acteurs académiques et industriels intéressés par la mise en oeuvre 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 méthodes, techniques et outils présentés assistent notamment les activités suivantes :

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

Sept types de contributions sont attendus

La table suivante résume les 7 types de présentations qui alimenteront les discussions lors de l'atelier.
Type de contribution taille max.
papier long 15 pages
papier court 6 pages
papier publié par ailleurs
démonstration 2 pages
poster 1 pages A0
tutoriel (résumé) 2 pages
Les soumissions seront de préférence en français ; les présentations orales seront obligatoirement en français lorsque l'un des co-auteurs est francophone.