Bienvenue sur le site de gestion des soumissions pour la conférence AFADL 2025. L'instance est HotCRP que nous utilisons est en anglais, il y aura donc sans doute des mélanges de langue entre français et anglais. Désolé.

Welcome to the Approches Formelles pour l'Assistance au Développement de Logiciels 2025 (AFADL 2025) submissions site. For general information, see https://gdrgpl2025.sciencesconf.org/resource/page/id/1.

Submissions

The deadline for registering submissions has passed.