Bienvenue aux journées AFADL 2023 à Rennes

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.

Voir l’appel à contributions pour plus de détails concernant les thématiques de ces journées et le Comité de programme.

Dates importantes

• Soumission des résumés : Lundi 27 mars 2023
• Date limite de soumission : Lundi 3 Lundi 17 avril 2023 (AoE)
• Notification aux auteurs : Mardi 9 Mardi 16 mai 2023
• Version finale des articles : Mardi 16 Mardi 23 mai 2023

Contacts

Pour toutes questions, contacter : gpl.afadl.2023[At]gmail.com

Les présidents des journées sont :

• Natalia KUSHIK : Natalia.Kushik[At]telecom-sudparis.eu
• Frédéric MALLET : Frederic.Mallet[At]univ-cotedazur.fr