Bienvenue aux journées AFADL 2025 à Pau

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

Conférence invitée

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

Contacts

Les présidents des journées sont :

• Olga Kouchnarenko, olga.kouchnarenko AT univ-fcomte.fr
• Fabien Dagnat, fabien.dagnat AT imt-atlantique.fr