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.
  • Dans ces conditions, l’organisation d’AFADL 2020 change. Nous mènerons un processus de relecture classique sur les papiers soumis cette année. Les papiers retenus seront publiés dans un volume AFADL qui sortira dès 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. Aussi, les auteurs qui le souhaitent pourront également proposer une vidéo de 180s, qui sera un « pitch » de leur présentation à venir, et que nous rendrons disponible sur le site web de la conférence.
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.