All conferences / AFADL / 2025
AFADL 2025
24e journées des Approches Formelles dans l’Assistance au Développement de Logiciels
Submission timeline
-
14 Apr 2025
Abstract registration
31 Mar 2025→ 14 Apr 2025 +14 days -
14 Apr 2025
Full paper
7 Apr 2025→ 14 Apr 2025 +7 days - 20 May 2025 Notification
- 17 Jun 2025 Conference opens
What to submit
- Format
- 8 pages (original) / 4 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract)
- Proceedings
- arXiv — Free access
In French.
Call for papers
- After a deadline extension AFADL-2025-extended.txt · TXT · shown below
- As first published AFADL-2025.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at gdrgpl2025.sciencesconf.org/resource/page/id/1.
Les journées AFADL 2025 auront lieu les 16, 17 et 18 juin à Pau, conjointement avec les journées du GDR GPL à Pau du 16 au 19 juin 2025.
Les journées AFADL - Approches Formelles pour l'Assistance au Développement de Logiciels - ont pour objectif de rassembler des 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.
Les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes ;
Les méthodes et processus permettant d’exploiter efficacement les techniques et outils formels disponibles ou conçus ;
Les méthodes et processus de développement mettant en œuvre des techniques formelles ;
Les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.
Contributions attendues
Six types de contributions sont attendus qui seront toutes publiées dans les actes AFADL :
https://gdrgpl2025.sciencesconf.org/resource/page/id/8
Recherche originale (4-8 pages)
Session doctorants (2-4 pages)
Présentations de projets (2-4 pages)
Résumés longs (2-4 pages)
Démonstrations d’outils (2-4 pages)
Posters (2-4 pages)
Dates
Soumission des résumés Lundi 31 mars 2025 Lundi 14 avril 2025
Date limite de soumission Lundi 7 avril 2025 Lundi 14 avril 2025
Notification aux auteurs Mardi 20 mai 2025
Version finale des articles Mardi 27 mai 2025
Journées AFADL Les 16, 17 et 18 juin 2025
Soumission
Les soumissions des catégories : recherche originale, session doctorant, résumé long et présentation de projet se font par la plate-forme suivante :
https://hotcrp-afadl25.diverse-team.fr/
Les soumissions de démonstration d'outils et de posters se font par la plate-forme suivante (en commun avec les journées GDR GPL) :
https://easychair.org/conferences?conf=gdrgpl25postersdemos
Pour plus d'information sur les journées : https://gdrgpl2025.sciencesconf.org/resource/page/id/1