Le blog de Yves.Ledru

Le site d'inscription est en ligne.

http://gdr-gpl2015.labri.fr/registration/

Notez qu'il propose un tarif réduit pour les inscriptions avant le 11 mai!

Le programme des journées est également disponible (fascicule distribué aux participants).

Le programme est également disponible sur le site des journées.

(Texte préparé par Benoit Combemale, Jean-Michel Bruel, Benoit Baudry, Philippe Lahire, Philippe Collet)

C’est avec une très grande tristesse que nous avons appris le décès de Robert B. France dimanche 15 février 2015 à 19h50. Il nous a quitté sans douleur à l’issue d’un combat contre un cancer qu’il a mené sans relâche depuis près de 2 ans et jusqu’au dernier moment. Il avait 54 ans.

A la demande du CNRS, le GDR GPL a préparé un rapport de conjoncture. Ce rapport concis (trois pages) est une étape dans notre processus de réflexion sur l'identification des défis à l'horizon 2025:

• Rapport de conjoncture GDR Génie de la Programmation et du Logiciel
  Coordonné par Philippe Collet (I3S), Lydie Du Bousquet (LIG), Laurence Duchien (LIFL)
  à partir des contributions des groupes du GDR GPL et de réponses à l’appel à défis 2025

Les 6es Journées Nationales du GDR GPL 2014 se sont tenues à Paris, dans les locaux du CNAM du 11 au 13 juin 2014. Elles ont réuni près de 180 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Les journées nationales 2014 ont pris fin ce vendredi. Avec les événements colocalisés, elles ont réuni près de 180 personnes, et ce malgré les mouvements sociaux de la SNCF.

Laurence Duchien, Catherine Dubois et Nicole Lévy, organisatrices de ces journées ont cloturé ces journées, et ont donné rendez-vous l'année prochaine à Bordeaux.

Un grand merci à tous les organisateurs et tous les participants qui ont fait le succès de ces 6e journées nationales du GDR GPL!

Le prix du meilleur poster est décerné à Vivien Maisonneuve (CRI, MINES ParisTech) pour son poster intitulé

"Préservation de preuve lors de la compilation sur microcontrôleur" (poster)

Le prix lui a été remis par Jean-Louis Giavitto, Président du jury du prix du meilleur poster, et Laurence Duchien, Directrice du GDR GPL.

La session industrielle nous a proposé deux présentations.

La première a été donnée par François Gerin (Directeur Général adjoint de Siemens France), "Retours et perspectives chez SIEMENS"  et était structurée en deux parties:

Gérard Morin (Head of Professional Services, Esterel Technologies) a ouvert cette troisième journée, largement consacrée aux rencontres industrielles. Sa présentation était intitulée :

"SCADE Model-Based Requirements Engineering" (transparents 16Mb)

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).