Le blog de Frederic.Dadeau

Appel à contribution - posters et démos journées du GDR GPL 2019

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.

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

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 :

Journée du groupe MTV2 le 3 décembre 2014 à Supélec

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

S'abonner à RSS - Le blog de Frederic.Dadeau