Workshop on Automated Deduction in Geometry
                   (Toulouse, France, September 27-29, 1996)
   
                            List of Participants

Philippe Balbiani
Laboratoire d'informatique de Paris-Nord
Institut Galilee
Universite Paris-Nord
Avenue Jean-Baptiste Clement
93430 Villetaneuse, France
philippe.balbiani@ura1507.univ-paris13.fr

Christophe Bourely
SGS-THOMSON Microelectronics
850, rue Jean Monnet
F-38926 Crolles Cedex 
France
bourely@silene.imag.fr

Ricardo Caferra
LEIBNIZ - IMAG 
46, avenue Felix Viallet           
38031 Grenoble Cedex 
France
caferra@leibniz.imag.fr

Giuseppa Carra` Ferro
Dip. di Matematica
Universita' di Catania
Viale A. Doria, 6
I 95125 - Catania
Italy
CARRA@dipmat.unict.it

Henry Crapo
C.A.M.S. 
54 bd Raspail 
75270 Paris Cedex 06 
France
crapo@msh-paris.fr

Gilles Defourneaux
LEIBNIZ - IMAG 
46, avenue Felix Viallet           
38031 Grenoble Cedex 
France
defourne@leibniz.imag.fr

Koichiro Deguchi
Faculty of Engineering
University of Tokyo
Bunkyo-ku, Tokyo 113 
Japan
kodeg@meip7.t.u-tokyo.ac.jp

Luis Farinas del Cerro
I.R.I.T.
Universite Paul Sabatier
118 route de Narbonne
31062 Toulouse Cedex
France
farinas@irit.fr

Stephane Fevre
LEIBNIZ - IMAG 
46, avenue Felix Viallet           
38031 Grenoble Cedex 
France
fevre@leibniz.imag.fr

Timothy F. Havel
Harvard Medical School
240 Longwood Avenue
Boston, MA 02115 
USA
havel@menelaus.med.harvard.edu

Deepak Kapur
Department of Computer Science
State University of New York
Albany, NY 12222
USA 
kapur@cs.albany.edu

Lian Li
Deapartment of Computer Science
Lanzhou University
Lanzhou 73000 
Gangsu Provicne, China
lil@lzu.edu.cn 

Xianfang Liu 
Institute of Systems Science
Academia Sinica
Beijing 100080, China 
xliu@mmrc.iss.ac.cn

Tomas Recio
Departamento de Matematicas
Facultad de Ciencias
Universidad de Cantabria
39071 Santander, Spain
recio@matsun1.unican.es

He Shi
Institute of Systems Science
Academia Sinica
Beijing 100080, China
hshi@mmrc.iss.ac.cn 

Nam Tran Quoc
Research Institute for Symbolic Computation             
Johannes Kepler University               
A-4040 Linz, Austria 
Tran.Quoc.Nam@risc.uni-linz.ac.at        

Dongming Wang
LEIBNIZ - IMAG 
46, avenue Felix Viallet           
38031 Grenoble Cedex 
France
wang@leibniz.imag.fr

Volker Weispfenning
Fakultaet f. Mathematik u. Informatik
Universitaet Passau
D-94030 Passau
Germany
weispfen@alice.fmi.uni-passau.de

Franz Winkler
Research Institute for Symbolic Computation             
Johannes Kepler University               
A-4040 Linz, Austria          
winkler@risc.uni-linz.ac.at