Atelier AFADL 2015
La 14e édition des journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL) aura lieu à Bordeaux les 9 et 10 juin 2015, en prélude aux journées du GDR GPL.
L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :
- les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes,
- les méthodes et processus permettant d'exploiter efficacement les techniques et outils formels disponibles ou conçus,
- les méthodes et processus mettant en œuvre des techniques formelles différentes et hétérogènes dans un développement,
- les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.
Cette année, AFADL et les groupes de travail Méthodes de Test pour la Vérification et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) envisagent d'organiser des sessions communes dans le cadre des journées du GDR.
Site web : http://events.femto-st.fr/afadl-2015
Date:
Mardi, 9 Juin, 2015 to Mercredi, 10 Juin, 2015