Journées Nationales 2011

DocumentsDate added

Order by : Name | Date | Hits | [ Ascendant ]
file icon actes-gdr-gpl-2011hot!Tooltip 06/01/2011 Hits: 3444

Ce document contient les actes des journées nationales 2011 du GDR GPL, organisées à Lille du 8 au 10 juin 2011.

Prix du meilleur poster des journées nationales 2011

Conférencier invité : 
Dr Cédric Fournet
(Microsoft Research)

Titre: Modèles et outils pour la vérification de programmes utilisant la cryptographie

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

file icon YvesLedruActionsGDR2011hot!Tooltip 06/09/2011 Hits: 490

Transparents de Yves Ledru sur les actions du GDR GPL en 2011

Conférencier invité :
Prof. Roberto di Cosmo (Laboratoire PPS, Université de Paris VII)

Titre:  Le defi des distributions de Logiciels Libres

file icon CocquerezGDRAnimationhot!Tooltip 06/09/2011 Hits: 430

Transparents de Jean-Pierre Cocquerez sur les GDR d'animation

file icon ClotureLillehot!Tooltip 06/13/2011 Hits: 423

Transparents de cloture des journées nationales 2011 avec l'annonce du prix du meilleur poster

file icon OuvertureLilleCompleteehot!Tooltip 06/13/2011 Hits: 366

Session d'ouverture des journées nationales 2011

file icon CocquerezInstitutINS2Ihot!Tooltip 06/09/2011 Hits: 352

Transparents présentés par Jean Pierre Cocquerez sur l'évolution de l'INS2I