Le blog de Yves.Ledru

Six contributions ont été présentées au cours de cette table ronde animée par Laurence duchien. Elles sont disponibles dans les actes des journées GPL 2014 (pages 159 à 192).

Une table ronde a réuni 7 intervenants (soulignés ci-dessous) pour présenter ces défis:

La deuxième conférence invitée était donnée par Christine Paulin (LRI, U. Paris XI) :

"Preuves formelles d'algorithmes probabilistes" (Les transparents seront prochainement disponibles sur ce site).

La première journée de GPL 2014 s'est terminée par la session posters et le dîner de gala.

La session posters était localisée dans la galerie d'honneur du CNAM et a donné lieu à des présentations, démos et échanges fructueux. Le prix du meilleur poster sera annoncé vendredi matin. D'ici là, vous pouvez retrouver les posters dans les actes des journées GPL.

Les journées GPL sont l'occasion de faire le point sur les Actions Emergentes démarrées en 2013. Trois AE ont ainsi été présentées:

Etienne André (LIPN, Paris 13) a présenté l'action "IOP : Intégration d’Outils à la Plate-forme CosyVerif" (transparents)

Brigitte Vallée, DAS de l'INS2I, a rencontré la communauté scientifique du GDR GPL à l'occasion des journées nationales 2014.

Le prix de thèse GPL 2014 est décerné à Mathias Bourgoin (LIP6) pour sa thèse intitulée "Abstractions Performantes pour Cartes Graphiques".

Dominique Méry, Président du jury du Prix de thèse GPL 2014, lui a remis son prix au cours des journées GPL 2014.

La première conférence invitée des journées GPL 2014 était donnée par Roland Ducournau (LIRMM, U. Montpellier) sur le thème :

"Les talons d'Achille de la programmation par objets" (transparents)

Les journées nationales GPL 2014 ont été ouvertes ce mercredi 11 juin par Laurence Duchien et Catherine Dubois. (transparents)

Les actes des journées GPL 2014 (un seul fichier PDF de 24,5Mb) sont disponibles en cliquant sur ce lien:

Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel,
édités par Catherine Dubois, Laurence Duchien et Nicole Levy,
CEDRIC/CNAM, Paris, 11 au 13 juin, 2014

Les journées nationales 2014 du GDR GPL auront lieu au CNAM (Paris) du 11 au 13 juin 2014.

Une mise à jour du programme des journées nationales est disponible (cliquez sur ce lien).

Pour plus d'informations sur ces journées et les événements associés (et leur programme) :

• http://gdr-gpl2014.cnam.fr/
  http://gdr-gpl2014.cnam.fr/?page=programme