Projet
: CALLIGRAMME
Précédent : Logique Linéaire, Réseaux de Démonstration
Remonter : Logique Linéaire, Réseaux de Démonstration
Suivant : Présentation et objectifs généraux
Composition de l'équipe
Philippe de Groote [CR Inria]
François Lamarche [DR Inria]
Christelle Wagner [vacataire Inria (jusqu'au 7
juin 1998)]
Geneviève Pierrelée [vacataire Inria puis agent technique à
partir du 1er décembre 1998]
Christian Retoré [CR]
Adam Cichon [Professeur, Université Henri
Poincaré]
Alain Lecomte [Professeur, Université de Grenoble 2]
Jean-Yves Marion [Maître de conférences, Université Nancy 2]
Guy Perrier [Maître de conférences, Université Nancy 2]
Hélène Touzet [ATER, Université Nancy 2 (jusqu'au 31 août 1998)]
Guillaume Bonfante [allocataire
MESR, Institut National Polytechnique de
Lorraine]
Catherine Pilière [Université Henri Poincaré]
Sylvain Pogodalla [boursier CIFRE, Institut
National Polytechnique de Lorraine]
Sohame Selhab [Université Henri Poincaré, jusqu'au 4 mai 1998]
Alessio Guglielmi [boursier TMR (jusqu'au
13 avril 1998)]