Les troisièmes journées nationales du GDR GPL se sont clôturées le vendredi 10 juin 2011.

Vous pouvez retrouver ci-dessous des liens vers les documents disponibles et les principaux articles publiés sur ce site à ce sujet.

Les articles publiés sur ce site:

• Bref compte-rendu des journées 2011
• Annonce des journées 2011
• Actes des journées nationales
• Appel à posters et démos
• Programme
• Prix du meilleur poster GPL 2011
• Inscriptions et infos pratiques
• Comités des journées 2011

Par ailleurs le site des trois conférences CAL/IDM/GPL est disponible à l'adresse suivante: http://www.lifl.fr/idm-gpl

Principaux documents: les principaux documents sont disponibles ici. Il s'agit de:

Actes des journées nationales disponibles en ligne (le fichier fait plus de 10Mo).

Transparents des conférenciers invités:

• Prof. Dr. Tom Mens, Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
  Analyse de l'évolution des aspects sociaux dans les projets logiciels
  
• Dr Cédric Fournet (Microsoft Research)
  Modèles et outils pour la vérification de programmes utilisant la cryptographie
  
  
• Prof. Roberto di Cosmo (Laboratoire PPS, Université de Paris VII)
  Le defi des distributions de Logiciels Libres

Transparents de Jean-Pierre Cocquerez, représentant l'INS2I

• évolutions récentes de l'INS2I (transparents disponibles ici)
• attentes de l'institut vis à vis d'un GDR d'animation (transparents disponibles ici)

Transparents de Yves Ledru

• Session d'ouverture
• Actions du GDR GPL
• Session de cloture