Le Palmier des Jacobins (Toulouse) -> Page d'accueil générale FAC
Page d'accueil générale FAC

Atelier AFADL'97


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



L'atelier AFADL'97 a été organisé par :
Le groupe ADER : Développement de Spécifications et de Programmes
du GDR de programmation - Pôle preuves et spécifications algébriques
et
le groupe FAC : Formalisation des Activités Concurrentes (Toulouse).




L'atelier AFADL'97 s'est tenu les 28 et 29 mai 1997 dans l'auditorium du CERT-ONERA.
Avant Propos  
Programme de l'atelier   (format postscript Programme AFADL'97 en postscript  ou PDF Programme AFADL'97 en PDF)

Actes

Site du groupe AFADL

Site du groupe FAC


Ateliers-Conférences AFADL suivants :

AFADL'98 à l'ENSMA / LISI (Futuroscope de Poitiers, 30 septembre - 1er octobre 1998)

AFADL'2000 à l'IMAG / LSR (Grenoble, 26-28 janvier 2000)

AFADL'2001 au LORIA (Nancy, 11-13 juin 2001)

AFADL'2003 à l'IRISA (Rennes, 15-17 janvier 2003)

AFADL'2004 au LIFC (Université de Franche-Comté, Besançon, 16-18 juin 2004)

AFADL'2006 à Télécom Paris (Paris, 15-17 mars 2006)
         organisé par le laboratoire CEDRIC du CNAM et le Département INFRES de Télécom Paris.

AFADL'2007 à l'Université de Namur (Namur, 13-15 juin 2007)

AFADL'2009 à l'ENSEEIHT (Toulouse, 26-28 janvier 2009)
         organisé par l'IRIT

Les actes des conférences sont généralement disponibles sur les sites correspondants.



dernière maj de cette page le 20/03/2009.