Bienvenue aux journées AFADL 2020

Actualités:

  • Les journées AFADL 2020 auront lieu à Vannes du 16 au 19 juin 2020.
  • L'appel à contributions est disponible ici et le site de soumission (EasyChair) est directement accessible ici.
  • Les actes de la conférence seront publiés dans un rapport technique de l’Institut de Recherche en Informatique de Toulouse et de l’Université Toulouse III - Paul Sabatier, répertorié à la BNF.
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.