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.
Soumis par Akram.Idani le 13 Septembre, 2017 - 10:06
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 :
Soumis par Frederic.Dadeau le 20 Octobre, 2015 - 22:46
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.
Soumis par Frederic.Dadeau le 25 Août, 2015 - 08:35
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
Soumis par Frederic.Dadeau le 10 Décembre, 2014 - 08:59
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 :
Soumis par Laurence.Duchien le 10 Juillet, 2014 - 21:42
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
