Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
DocumentsDate added
Transparents de Yves Ledru sur les actions du GDR GPL en 2011
Conférencier invité :
Prof. Dr. Tom Mens, Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
Titre: Analyse de l'évolution des aspects sociaux dans les projets logiciels
Conférencier invité :
Prof. Roberto di Cosmo (Laboratoire PPS, Université de Paris VII)
Titre: Le defi des distributions de Logiciels Libres
Conférencier invité :
Dr Cédric Fournet (Microsoft Research)
Titre: Modèles et outils pour la vérification de programmes utilisant la cryptographie
Prix du meilleur poster des journées nationales 2011
Session d'ouverture des journées nationales 2011
Transparents présentés par Jean Pierre Cocquerez sur l'évolution de l'INS2I
Transparents de Jean-Pierre Cocquerez sur les GDR d'animation
Transparents de cloture des journées nationales 2011 avec l'annonce du prix du meilleur poster
Ce document contient les actes des journées nationales 2011 du GDR GPL, organisées à Lille du 8 au 10 juin 2011.