Bienvenue aux journées AFADL 2021

Actualités:

  • Étant donnée la pandémie de Covid-19 qui sévit toujours actuellement, les journées nationales du GDR GPL prévues à Vannes cette année auront lieu entièrement en distanciel et ce sera également le cas en particulier d'AFADL 2021.
  • Le processus de relecture et de sélection des articles reste le même et les auteurs des articles sélectionnés seront invités à présenter leurs travaux en distanciel en juin 2021. Compte tenu de l'annulation des présentations d'AFADL 2020, des présentations concernant des articles sélectionnés pour l'édition précédente d'AFADL auront également lieu. Les articles en question sont disponibles ici.
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.