Accueil

Ces journées seront suivies par les premières journées nationales du GDR GPL, du 28 au 30 janvier 2009.

Thèmes de l'atelier

L'atelier AFADL a vocation à rassembler de nombreux acteurs académiques et industriels intéressés par l'application des techniques formelles aux divers stades du développement des logiciels. Il a pour objectif de faire le point sur :

Les techniques et outils présentés assisteront notamment les activités suivantes :

Pour cette neuvième édition d'AFADL1, une attention particulière sera attribuée aux travaux relatifs aux systèmes critiques et aux méthodes telles que l'ingénierie dirigée par les modèles qui permettent de limiter les risques tant techniques qu'économiques.

Trois types de contributions sont attendus :
  1. tutoriels
  2. articles longs présentant des travaux de recherche
  3. articles courts et démonstration d'outils

1 AFADL a été organisé en 1997 à l'ONERA à Toulouse, en 1998 au LISI/ENSMA au Futuroscope de Poitiers, en 2000 au LSR/IMAG à Grenoble, en 2001 au LORIA à Nancy, en 2003 à l'IRISA à Rennes, en 2004 au LIFC à Besançon, en 2006 au CNAM/CEDRIC à Paris et en 2007 à l'Université de Namur.

 

A noter A noter

Dates importantes
Lettre d'intention
   12 septembre 2008
Soumission des articles
   3 octobre 2008
Notification d'acceptation
   30 novembre 2008
Texte définitif
   19 décembre 2008
Dates des journées
   26-28 janvier 2009