Projet : Pour L'Utilisation et l'aMÉlioration
de la déduction automatique
Précédent : PLUME
Remonter : PLUME
Suivant : Présentation et objectifs généraux
Composition de l'équipe
Pierre Lescanne [Professeur à l'ENS]
Jean Duprat [Maître de Conférences à l'ENS]
Daniel Hirschkoff [Maître de Conférences à l'ENS à compter de
sept. 1999]
Frédéric Lang [ATER à l'ENS, jusqu'à août 1999]
Luigi Liquori [ATER à l'ENS, jusqu'à août 1999]
Jacky Montiel [Professeur PAST, à compter du 1er septembre 1999]
Kristoffer Rose [Professeur associé à l'ENS]
Frédéric Prost [Doctorant]
Eva Rose [Doctorant, jusqu'à septembre 1999]
Daniel Dougherty [Professeur à l'Université Wesleyan
(Middletown, Connecticut, E-U)]