Bienvenue aux journées AFADL 2020
Actualités:
- Étant donnée la pandémie de Covid-19 qui sévit
actuellement, les journées nationales du GDR GPL prévues à Vannes cette année
sont reportées à l’année prochaine en juin 2021 au même endroit.
- Malgré tout, nous avons mené un processus de
relecture classique sur les papiers soumis cette année. Les auteurs des papiers
retenus seront invités à présenter leurs travaux lors de des journées nationales
du GDR GPL en juin 2021 à Vannes. Les papiers retenus sont publiés dans le
volume suivant:
Actes AFADL 2020
Les journées AFADL ont pour objectif de rassembler 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.
Voir l'appel à contributions pour plus de détails
concernant les thématiques de ces journées.