Clôture des Premières Journées Nationales du GDR GPL 
Les premières journées nationales du GDR GPL se sont déroulées à Toulouse, dans les locaux de l'ENSEEIHT, du 28 au 30 janvier 2009. Elles étaient précédées par plusieurs réunions de groupes de travail (AFSEC, COSMAL, IDM) ainsi que l'atelier AFADL2009.
150 personnes nous ont rejoint durant cette semaine, malgré les tempêtes météorologiques et sociales. Ce fut d'abord l'occasion d'échanges scientifiques entre les communautés qui constituent le GDR GPL (merci aux groupes de travail pour le choix de présentations de qualité et accessibles à tous).
Au cours des discussions, plusieurs priorités ont émergé pour les prochaines actions du GDR :
- Augmenter le soutien aux jeunes chercheurs
- Offrir plus de fonctionnalités au travers du site web
Ces priorités seront prises en compte très prochainement par le bureau du GDR dans la définition de ses nouvelles actions.
Le prix du meilleur poster a été attribué à
Réécriture pour la vérification d'applications Java
Thomas Genet Université Rennes I, INRIA/Lande
Emilie Balland INRIA/Paréo
Yohan Boichut LIFO
Benoît Boyer INRIA/Lande
Pierre-Cyrille Héam LIFC, University of Franche-Compte, INRIA/CASSIS
Thomas Jensen INRIA/Lande
Olga Kouchnarenko LIFC, University of Franche-Comté, INRIA/CASSIS
Pierre-Etienne Moreau INRIA/Paréo
Vlad Rusu INRIA/Lande
Roméo Courbis LIFC, INRIA/CASSIS
Les accessits vont aux posters suivants:
Garantie des conformités par rejeu de patterns
Clémentine Nemo i3S / UNSA
Mireille Blay-Fornarino i3S / UNSA
SmPL: SimPLe SamPLes to Update Device Drivers
Gilles Muller Ecole des Mines de Nantes
Yoann Padioleau University of Illinois-Champaign
Julia Lawall DIKU
Félicitations aux lauréats!
Vous pouvez également découvrir ci-dessous le vainqueur du concours de création de logo !
Vous retrouverez dans le menu "Journées Nationales 2009" diverses informations pour revenir sur ces journées, et prochainement la mise en ligne des actes de ces journées et de transparents .
|
