Roberto Di Cosmo, qui fut l'un de nos conférenciers invités lors des journées nationales du GDR GPL,a mis en ligne sur son blog un rapport sur l'industrie du logiciel, fruit des réflexions d'un groupe de travail qu'il a présidé :

http://www.dicosmo.org/MyOpinions/index.php/2011/06/27/112-l-industrie-du-logiciel-en-france-des-propositions-pour-l-enseignement-et-la-recherche

On peut accéder directement au rapport via le lien suivant:

http://www.dicosmo.org/Rapports/GCT-IL-2011.pdf

Le prix du meilleur poster 2011 a été attribué à

Julien Cohen, Akram Ajouli and Rémi Douence     (LINA, EMN-INRIA)
"Program Transformation based Views for Modular Maintenance     (Poster et Démo) "

Vous avez certainement remarqué ce poster présenté sous forme d'une bande dessinée. Il est maintenant accessible sur ce site.

Les troisièmes journées nationales du GDR GPL se sont clôturées le vendredi 10 juin 2011.

Vous pouvez retrouver ci-dessous des liens vers les documents disponibles et les principaux articles publiés sur ce site à ce sujet.

Les troisièmes journées nationales du GDR GPL se sont ouvertes sous le soleil ce mercredi 8 juin dans les locaux de Polytech'Lille. Les actes sont disponibles en ligne (le fichier fait plus de 10Mo).

226 personnes, dont 76 jeunes chercheurs, participeront aux événements de cette semaine (conférences CAL et IDM, Journées nationales et journée "Services"). Des photos, prises par Damien Polet, sont disponibles sur Flickr.

Programme de la journée commune "Services" et "Langages et modèles à l'exécution"
Lille, le 10 juin 2011

- Accueil des participants : 8h00-8h30

- Session de présentations I (2h00) : 8h30-10h30
Animateur : Chouki Tibermacine

• Test passif de la conformité de chorégraphies WS-BPEL.
  Huu Nghia Nguyen, Université Paris Sud et LRI
  Pascal Poizat, Université d'Evry Val d'Essonne et LRI
  Fatiha Zaïdi, Université Paris Sud et LRI
  Philippe Dague, Université Paris Sud et LRI
• Agrégation d'attributs qualité pour la supervision des orchestrations de services.
  Nabil Fakhfakh, Hervé Verjus et Frédéric Pourraz. LISTIC, Université de Savoie.
• Classification hiérarchique et sélection de services Web composable.
  Zeina Azmeh, Fady Hamoui, Marianne Huchard, Chouki Tibermacine. LIRMM, CNRS et Université Montpellier II.
  Maha Driss, IRISA, INRIA, Université Rennes I.
  Naouel Moha, Université du Québec à Montréal, Canada.
• Macchiato : vers un système de panier unique pour le e-commerce.
  Nicolas Petitprez, Romain Rouvoy et Laurence Duchien.
  Équipe-Projet ADAM, INRIA Lille - Nord Europe.Université Lille 1, LIFL UMR CNRS 8022.

- Pause Café : 10h30-11h00

- Session de présentations II (1h30) : 11h00-12h30
Animateur : Pascal Poizat

• Support for Formal Verification of Domain-Specific Modelling Languages.
  Dorel Lucanu, Al. I. Cuza University, Iasi, Romania.
  Vlad Rusu, Inria Lille Nord Europe.
• The Synthesis Problem for Trusted Service-based Collaborations.
  Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer et Mario Sudholt. ASCOLA, École des Mines de Nantes-INRIA, LINA.
• Environnement de Transformation et de Vérification de Modèles BPEL 2.0 Temporisés.
  Elie Fares, Jean-Paul Bodeveix et Mamoun Filali. IRIT, Université de Toulouse.

- Pause déjeuner : 12h30-13h30

- Tutoriel sur SCA et FraSCAti (2h00) : 13h30-15h30
Animateur : Romain Rouvoy
Orateur : Philippe Merle, INRIA Lille - Nord Europe

- Pause café : 15h30-16h00

- Session de pratique sur FraSCAti (1h30) : 16h00-17h30
Animateur : Philippe Merle

- Session de démonstrations d'outils (30min) : 17h30-18h00