Les journées (Approches Formelles pour l’Assistance au Développement de Logiciels) AFADL auront lieu les 2 et 3 juin à Lille, conjointement avec les journées du GDR SciLog du 1er au 4 juin 2026.
Le site de dépôt des soumissions à AFADL 2026 est ouvert (c’est ici) !
Les soumissions sont attendues pour le vendredi 3 avril (soumission des résumés le 27 mars.)
Toutes les informations sont sur le site :