|
|
Les journées (Approches Formelles pour l'Assistance au Développement de Logiciels) 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.
Elles auront lieu les 16, 17 et 18 juin 2025.
Les actes AFADL 2025 sont disponibles sur HAL à l’url suivant : https://hal.science/hal-05106227
Frédéric Loulergue, Professeur à l'Université d'Orléans, au LIFO
Titre : Approches formelles pour les composants et outils système
Description détaillée : https://gdrgpl2025.sciencesconf.org/resource/page/id/4
Date : Le 18 juin 2025, matin
Les présidents des journées sont :