MFDL

Ouverture d'AFADL'19

Les conférences AFADL et CIEL sont colocalisées avec les Journées Nationales du GDR GPL.
Ainsi AFADL a été ouvert ce mercredi matin par David Chemouil et Thomas Lambolais.

Ouverture d'AFADL

La conférence AFADL a été ouverte par Antoine Rollet et Arnaud Lanoix.

Les actes d'AFADL sont disponibles ici.

Journées nationales 2018 - programme préliminaire

Un programme préliminaire des journées GPL 2018 est en ligne

http://gpl2018.imag.fr/programme.html

Pour AFADL, un programme plus détaillé est disponible :

https://afadl2018.ls2n.fr/

Journée commune MFDL/MTV2, Le 7 Décembre 2017

Une journée commune des groupes de travail Méthodes de Test pour la Vérification 
et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) 
aura lieu à Paris, à Telecom ParisTech, le 7 Décembre 2017. 

L'appel à contributions est disponible sur : http://lig-membres.imag.fr/idani/MTV2_MFDL/index.html

Cette journée prendra la forme suivante :

Ouverture d'AFADL 2017

Akram Idani et Nikolaï Kosmatov ont ouvert l'édition 2017 de AFADL.

Journées Nationales GPL 2016

La prochaine édition des journées nationales du GDR GPL aura lieu à Besançon, du 8 au 10 juin 2016, et sera organisée par le Département d'Informatique des Systèmes Complexes de l'Institut FEMTO-ST.

Cet événement sera précédé de deux événements satellites : l'atelier AFADL et la conférence CIEL, qui commenceront le 7 juin.

Conférence ICFEM'2015 à Paris

La 17ème édition de la conférence ICFEM 2015 (International Conference on Formal Engineering Methods), organisée par Fatiha Zaidi et Sylvain Conchon du LRI, aura lieu au CNAM du 3 au 6 novembre 2015.

Le GDR soutient cette manifestation en permettant à deux étudiants inscrits en "early registration" d'obtenir une bourse pour participer à cet événement.

Tous les détails sur le site de la conférence : http://icfem2015.lri.fr

AFADL et CIEL à Bordeaux

La semaine des journées GPL 2015 a débuté ce matin par l'ouverture des conférences AFADL et CIEL.

Les actes d'AFADL sont disponibles ici.

Les actes de CIEL sont disponibles ici (fichier zip avec les diverses contributions).

Atelier AFADL 2015

La 14e édition des journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL) aura lieu à Bordeaux les 9 et 10 juin 2015, en prélude aux journées du GDR GPL.
 

L'atelier AFADL rassemble 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. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :

Compte-rendu de la conférence ABZ - Toulouse - 2014

La 4ème édition de la conférence internationale ABZ s’est tenue à Toulouse du 2 au 6 Juin 2014 dans les locaux de l’ENSEEIHT puis dans le grand amphithéâtre de l’IAS. Cette conférence présente les derniers développement dans le domaine de la preuve et du raffinement de systèmes et de logiciels. Elle fait suite au succès des conférences de Londres (2008), Orford (2010) et Pise (2012).

Cette édition Toulousaine a été marquée par deux évènements majeurs.

Pages

S'abonner à RSS - MFDL