Précédent : Références Remonter : Projet EURÉCA Suivant : 1. Algorithmics
Précédent : Références Remonter : Projet
EURÉCA Suivant : 1. Algorithmics
Research in Computer Science in Nancy is conducted jointly
under the auspices of two institutions: (1) the CRIN (Centre de
Recherche en Informatique de Nancy), a laboratory associated with
the CNRS and comprising Nancy's main university teaching
establishments, and (2) the INRIA (Institut Nationale de
Recherche en Informatique et Automatique). Researchers work in
formal groups. Eureca is the group headed by Pierre
Lescanne, and comprises research and teaching staff employed, in
particular, by the CNRS, the University and the INRIA-Lorraine.
In 1996 Eureca comprised :-
Group Secretary: Céline Cordier
CNRS: Pierre Lescanne [head of Eureca], Nicolas
Hermann, Jean-Luc Rémy
INRIA - Lorraine: Grégory Kucherov, Paul Zimmermann,
Fabrice Rouillier
University Henri Poincaré, Nancy 1: Adam Cichon, Jocelyne
Rouyer, Joseph Rouyer, Zine-El-Abidine Benaissa, Daniel Briaud,
Boutheina Chetali, Hélène Touzet
Visiting members of Eureca: Sapphorain Ptermann,
Kristoffer Høgsbro Rose
Doctoral students: François Bertault, Guillaume Bonfante,
Djamilla Bouzid, Vladimir Grebinski, Barbara Heyd, Frédéric Lang,
Otmane Aït Mohamed, Sohame Selhab
The group's research activities come under the banner :
Proof, Symbolic Computation and Logic. There are two
main lines of research: