Appel à Communications

La date limite de soumission est repoussée au 30 04 1998

AFADL'98 Approches Formelles dans l'Assistance au Développement de Logiciel

ENSMA-LISI,

POITIERS - FUTUROSCOPE

30 Septembre,

1er Octobre 1998

Organisé par

le groupe ADER : Aide au Développement Raisonné de Spécifications et de Programmes

et l'ENSMA-LISI, FUTUROSCOPE

Pour charger la version PostScript de cet Appel à Communications veuillez cliquer ici.

Thèmes de l'atelier

Après le succès du premier atelier AFADL qui a eu lieu à Toulouse en mai 1997 (AFADL97), le deuxième atelier AFADL sera organisé par l'ENSMA-LISI sur le site du FUTUROSCOPE de Poitiers. Cet atelier a pour objectif de faire le point sur les techniques et outils permetant d'aider et de contrôler le développement de spécifications et de programmes sûrs. 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 orientés vers l'assistance à la vérification, à la validation et à la synthèse de programmes.

Les contributions porteront plus particulièrement sur :

les outils d'aide au développement
les techniques, méthodes et approches formelles de développement
les approches intégrant différentes méthodes
les techniques, méthodes, et approches formelles de validation et d'analyse de spécifications;
des études de cas, rapportant les résultats d'expériences liées aux points précédemment cités.

Soumission

Les auteurs sont invités à soumettre un article d'au plus 12 pages respectant un format analogue au format A4, times, french, 11pt. La soumission peut se faire par envoi de courrier électronique (format postscript) à l'adresse suivante: afadl@loria.fr ou classique à l'adresse suivante:

Nicole Lévy

Atelier AFADL

LORIA, BP 239

54506 Vandoeuvre les Nancy Cedex

Email: afadl@loria.fr

Dates importantes

*Date limite de soumission des articles*	*15 avril 1998*
*Notification d'acceptation*	*1er Juillet 1998*
*Remise du texte définitif*	*20 août 1998*
*Date des journées*	*30 Septembre* *1er Octobre 1998*

Comité de programme

*N. Lévy*	*LORIA, Nancy*	*Présidente*
*Y. Ledru*	*LSR-IMAG, Grenoble*	*Vice-Président*
*Y. Ait-Ameur*	*ENSMA-LISI, FUTUROSCOPE*
*P.Bellot*	*ENST, Paris*
*G. Bernot*	*LaMI, Evry*
*V. Donzeau-Gouge*	*CNAM, Paris*
*P. Gribomont*	*Université de Liège*
*J. Jaray*	*LORIA, Nancy*
*C. Jard*	*IRISA, Rennes*
*D. Le Metayer*	*IRISA, Rennes*
*B. Marre*	*LRI, Orsay*
*P. Maurice*	*IRIT-INRIA, Toulouse*
*P. Michel*	*ONERA-CERT, Toulouse*
*F. Ouabdesselam*	*LSR-IMAG, Grenoble*
*G. Padiou*	*IRIT, Toulouse*
*M.-L. Potet*	*LSR-IMAG, Grenoble*
*C. Roques*	*Steria Mediterranee*
*C. Seguin*	*ONERA-CERT, Toulouse*
*J. Souquières*	*LORIA, Nancy*

Organisation

Contact :

Y. Ait-Ameur ENSMA-LISI, Futuroscope

Email : yamine@ensma.fr

Adresse

Atelier AFADL

ENSMA-LISI

Site du Futuroscope BP 109

86960 FUTUROSCOPE Cedex

Tel : 5 49 49 80 66

Fax : 5 49 49 80 64