L'atelier AFADL, organisé en 1997 au CERT/ONERA à Toulouse, en 1998 au LISI/ENSMA au Futuroscope de Poitiers, en 2000 au LSR/IMAG à Grenoble et en 2001 au Loria à Nancy a vocation à rassembler les acteurs académiques et industriels intéressés par l'application de techniques formelles aux différents stades du développement de logiciel. Cet atelier a pour objectif de faire le point sur les techniques et outils, fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les thèmes portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils formels orientés vers l'assistance à la preuve et à la synthèse de programmes ou à leur validation par le test.

Soumission des résumés : 15 juin 2002
Soumission des articles : 30 juin 2002
Notification d'acceptation : 30 septembre 2002
Texte définitif : 15 novembre 2002
Dates des journées : 15-17 janvier 2003