Site Archive

  • Ces pages archivent le site web du GDR GPL de 2008 à mai 2013.
  • Pour une information à jour sur l'activité du GDR GPL, suivez le lien suivant:
  • http://gdr-gpl.cnrs.fr

Le GDR GPL

  • Accueil
  • Annonces
  • Documents
  • Participer au GDR (s'inscrire à la liste de diffusion, ...)
  • Soutien du GDR GPL

ActionsEnCours

  • Appel Actions Emergentes 2013
  • Journées Nationales 2013
  • ...Tous les articles GPL 2013
  • Défis 2025
  • ...Tous les articles Défis 2025
  • Prochains événements
  • Initiative COS Tools

Journées Nationales

  • Retour sur les journées 2013
  • Retour sur les journées 2012
  • Retour sur les journées 2011
  • Retour sur les journées 2010
  • Retour sur les journées 2009

Présentation du GDR

  • Motivation
  • Objectifs
  • Organisation
  • Les autres GDR

Groupes de travail

  • Compilation
  • COSMAL
  • FORWAL
  • LaMHa
  • LTP
  • MFDL
  • MTV²
  • RIMEL

Actions Transverses

  • AFSEC
  • IDM

Ecoles

  • EJCP
  • Autres écoles soutenues par le GDR GPL
  • TAROT 2012
Conférence invitée : Laurent Voisin PDF Imprimer
Journées Nationales 2013
Écrit par Yves Ledru   

Laurent Voisin (Systerel) était le conférencier invité de AFADL 2013 et GPL 2013.

Vous trouverez ici les transparents de son exposé intitulé "Validation formelle de données"
Mise à jour le Jeudi, 04 Avril 2013 13:47