Soumis par Frederic.Dadeau le 24 Avril, 2019 - 10:39
Les prochaines journées nationales du GDR GPL se dérouleront du 11 au 14 juin 2019 à Toulouse. Elles seront co-localisées avec AFADL, CAL et CIEL :
http://gdr-gpl-2019.enseeiht.fr
Pour encourager chacun à participer activement à ces journées, nous lançons un premier appel à posters et à démos.
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 Frederic.Dadeau le 17 Novembre, 2014 - 15:12
Le groupe de travail Méthodes de Test pour la Vérification et la Validation (MTV2) organisera une journée de rencontre le 3 décembre 2014 à Supélec (sur le plateau de Saclay).
La journée sera composée d'exposés scientifiques (travaux en cours, articles acceptés, projets de recherche, etc.).
Pour vous inscrire, remplir le Doodle ci dessous, avant le lundi 24 novembre
http://doodle.com/hpbb3u6gq92n5bwp
