Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
Cette catégorie regroupe les documents relatifs aux journées nationales 2013, à Nancy.
DocumentsDate added
Transparents de Olivier Philippot (Kaliterre) pour la table ronde du 4 avril 2013 sur le Green Computing.
Transparents de Laurent Lefevre (INRIA) pour la table ronde du 4 avril 2013 sur le Green Computing.
Transparents de Frédéric Bordage (Alliance Green IT) pour la table ronde du 4 avril 2013 sur le Green Computing.
Transparents de Alain Anglade (ADEME) pour la table ronde du 4 avril 2013 sur le Green Computing.
Transparents de Laurent Voisin, conférencier invité à GPL 2013 et AFADL 2013 :
"Validation formelle de données"
Le prix du meilleur poster GPL 2013 a été attribué à Pierre Neron pour son poster intitulé "Elimination des racines et divisions pour du code embarqué".
Conférence invitée de Bruno Legeard "Génération de tests à partir de modèle – Retour sur 10 ans d’expérience de transfert de technologie "
Transparents de Yves Le Traon (Univ. Luxembourg) : "Security Testing: a key challenge for software engineering"
Transparents de Gabriel Kerneis, Lauréat du Prix de thèse 2013 du GDR GPL:
"Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif"