UNIF 2001

Full Addresses

Franz Baader

RWTH Aachen
Lehr- und Forschungsgebiet Theoretische Informatik
Ahornstr. 55
D-52074 Aachen
Germany

	+49-241-80-21130
fax:	+49-241-8888-360
email:	baader@informatik.rwth-aachen.de
web:	www-lti.informatik.rwth-aachen.de/ti/baader-en.html

Volker Diekert

Abteilung Theoretische Informatik
Universität Stuttgart
Institut für Informatik
Breitwiesenstr. 20-22
D 70565 Stuttgart
Germany

+49-711-7816-329

fax: +49-711-7816-310

email: diekert@informatik.uni-stuttgart.de

web: www.informatik.uni-stuttgart.de/ifi/ti/personen/Diekert/Diekert.html

Cesare Tinelli

Department of Computer Science
University of Iowa
14 McLean Hall
Iowa City, IA 52242
USA

+1-319-335-0735

fax: +1-319-335-3624

email: tinelli@cs.uiowa.edu

web: www.cs.uiowa.edu/~tinelli

Ralf Treinen

L.R.I. Bât. 490
Université de Paris-Sud
F91405 Orsay cedex
France

+33 (1) 69.15.65.92

fax: +33 (1) 69.15.65.86

email: treinen@lri.fr

web: www.lri.fr/~treinen