AFADL 2010 logo
AFADL 2010
10es Journées Francophones Internationales sur les
Approches Formelles dans l'Assistance au Développement de Logiciels
LISI / ENSMA, Poitiers, France, 9 - 11 Juin 2010

Accueil / Appel à Communications / Comités / Soumission / Soumission finale / Inscription / Programme / Hébergements / Renseignements Mise à jour : le programme d'AFADL 2010 est disponible

Laboratoire d'Informatique Scientifique et Industrielle
Ecole Nationale Supérieure de Mécanique et d'Aerotechnique
Université de Poitiers
Région Poitou-Charentes
GDR GPL

Soumissions

Pour aider à planifier le processus de lecture, les contributeurs sont priés d'envoyer

  • Avant le 1 Mars 2010 : une lettre d'intention (titre de la contribution ainsi que son résumé) à l'adresse afadl2010@ensma.fr
  • Avant le 15 Mars 2010 15 mars 2010 29 mars 2010 : la contribution complète à l'adresse EasyChair AFADL 2010
  • Notification aux auteurs le 10 mai 2010
  • Soumission finale le 17 mai 2010

Les meilleurs articles retenus seront sélectionnés pour publication dans un numéro spécial de la revue TSI.

Proposition de tutoriel

Les orateurs sont invités à soumettre une description du tutoriel d'au plus 2 pages, mentionnant le titre du tutoriel, la durée envisagée (de 1 à 3h), le nom des intervenants, leur biographie, une liste de mots clés, l'objectif du tutoriel et les points abordés.

Article long

Les auteurs sont invités à soumettre un article d'au plus 15 pages.

Article court et démonstration d'outil

Les auteurs sont invités à soumettre un article d'au plus 4 pages précisant le nom de l'outil, les noms des auteurs, 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, ...).