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
Réunion du groupe "Langages, Types et Preuves" 19/11/2010 PDF Imprimer
Vie du GDR GPL
Écrit par Pierre Castéran   

Appel à Participation.

Le groupe intitulé "Langages, Types et Preuves" se réunira à Strasbourg le 19 Novembre 2010.

Cette journée marquera le troisième rendez-vous du groupe, après Évry en 2008 à  l'ENSIEE et Créteil en 2009 au LACL.