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.