La dixième édition de la conférence francophone sur les Approches formelles dans l'assistance au développement de logiciels s'est tenue, pour la seconde fois, à l'ENSMA sur le site du Futuroscope à Poitiers les 9, 10 et 11 Juin 2010. Depuis sa création en 1997, la conférence AFADL constitue un moment privilégié de rencontres et d'échanges entre les chercheurs francophones, qu'ils soient académiques ou industriels, débutants ou confirmés, dans le domaine des méthodes formelles de développement de logiciels.
展开▼