Groupe de travail B

B Working Group

Un texte de présentation d'un groupe de travail a été soumis au GDR ALP dans le cadre du STIC (CNRS). Ceux qui sont intéressés pour participer à ce groupe sont priés de prendre connaissance du texte et se faire connaître au coordinateur Didier Bert.

Le texte (mai 2001) : [ Word | postscript | pdf | htm ]

Une version révisée et complétée est maintenant disponible :

Le texte (avril 2002) : [ postscript | pdf ]

Présentation rapide du GDR par Christiane Frougny le 28 janvier 2002.
Pages du GDR ALP

•  Journée B : "Outils - Travaux de thèses en cours"
     20 novembre 2003, CNAM, Paris
     Programme et transparents des exposés
     Liste des participants
  
  
•  Journée B : "L'enseignement de B et des méthodes formelles"
     29 novembre 2002, IUT, Nantes
     Programme et transparents des exposés
     Pages Journée Nantes
  
  
•  Journées B : "B Evénementiel, Preuves avec B"
     13-14 juin 2002, CNAM, Paris
     Programme et transparents des exposés
     Liste des participants
  
  
•  Réunion d'avancement
     24 janvier 2002, Grenoble
     Compte-rendu



•  Journées : "Outils pour et autour de B"
     15-16 octobre 2001,
     INRETS-ESTAS, Villeneuve d'Ascq (près de Lille)
     Programme et documents sur les exposés



•  Journées : "B Evénementiel"
    10-11 mai 2001, CNAM, Paris
     Programme et documents sur les exposés
     Liste des participants