| Andreas Andrick Institut für Angewandte Mathematik Universität Karlsruhe |
| Postfach 6980 |
| D-76128 Karlsruhe |
| Germany E-mail: Andreas.Andrick@math.uni-karlsruhe.de WWW: http://www.uni-karlsruhe.de/~Andreas.Andrick |
| Franz Baader RWTH Aachen, Theoretical Computer Science Ahornstrasse 55 |
| 52074 Aachen |
| Germany E-mail: baader@informatik.rwth-aachen.de WWW: http://www-lti.informatik.rwth-aachen.de/index-en.html |
| Stefano Bistarelli Dipartimento di Informatica - Pisa Corso Italia, 40 |
| 56125 Pisa |
| Italy E-mail: bista@di.unipi.it WWW: http://www.di.unipi.it/~bista/ |
| Manuel Bodirsky Universität des Saarlandes Rotenbergstr 12 |
| 66111 Saabruecken |
| Germany E-mail: bodirsky@ps.uni-sb.de |
| Miquel Bofill Tech. Univ. Catalonia (UPC) Barcelona Jordi Girona 1 |
| 08034 Barcelona |
| Spain E-mail: mbofill@lsi.upc.es WWW: http://www.lsi.upc.es |
| Rafael Caballero-Roldan Univ. Complutense de Madrid Dpto. de Sistemas Informaticos y Programacion. |
| Universidad Complutense de Madrid. |
| 28040 Madrid |
| Spain E-mail: rafa@sip.ucm.es |
| Christine Choppy LIPN, Institut Galilée - Université Paris XIII 99 Avenue Jean-Baptiste Clément |
| F-93430 Villetaneuse |
| France E-mail: Christine.Choppy@lipn.univ-paris13.fr WWW: http://www-lipn2.univ-paris13.fr/~choppy/ |
| Hubert Comon École Normale Supérieure de Cachan Laboratoire Spécification et Vérification |
| 61 avenue du président Wilson |
| 94234 Cachan cedex |
| France E-mail: Hubert.Comon@lsv.ens-cachan.fr WWW: http://www.lsv.ens-cachan.fr/~comon |
| Evelyne Contejean LRI Bât. 490 |
| Université Paris-Sud |
| 91405 Orsay cedex |
| France E-mail: contejea@lri.fr WWW: http://www.lri.fr/~contejea |
| Massimo Coppola University of Pisa, |
| Dipartimento di Informatica Corso Italia 40, |
| 56125 Pisa |
| Italy E-mail: coppola@di.unipi.it WWW: http://www.di.unipi.it/~coppola |
| Jesper K Eskilson SICS Box 1263 |
| SE-16429 Kista |
| Sweden E-mail: jojo@sics.se WWW: http://www.sics.se/~jojo |
| Fabio Fioravanti IASI-CNR Viale Manzoni, 30 |
| 00185 Rome |
| Italy E-mail: fioravan@iasi.rm.cnr.it WWW: http://www.iasi.rm.cnr.it/~fioravan |
| Marta Franova Laboratoire de Recherche en Informatique Bat. 490 |
| Univ. Paris Sud |
| 91405 Orsay cedex |
| France E-mail: mf@lri.fr |
| Harald Ganzinger MPI Im Stadtwald |
| D-66123 Saarbrücken |
| Germany E-mail: hg@mpi-sb.mpg.de WWW: http://www.mpi-sb.mpg.de/~hg/ |
| Rosella Gennari Institute for Logic, Language and Computation |
| Department of Philosophy Universiteit van Amsterdam |
| Nieuwe Doelentstraat 15 |
| 1012 CP Amsterdam |
| The Netherlands E-mail: gennari@philo.uva.nl |
| Martin Giese Institut für Logik, Kompl. & Deduktionssyst., |
| Universität Karlsruhe Am Fasanengarten 5 |
| D-76131 Karlsruhe |
| Germany E-mail: giese@ira.uka.de WWW: http://i11www.ira.uka.de/~giese/ |
| Guillem Godoy Tech. Univ. Catalonia (UPC) Barcelona Jordi Girona 1 |
| 08034 Barcelona |
| Spain E-mail: ggodoy@lsi.upc.es WWW: http://www.lsi.upc.es |
| Joerg Harm Department for Computer Science Ratsplatz 2 |
| D-18057 Rostock |
| Germany E-mail: jh@informatik.uni-rostock.de WWW: http://www.informatik.uni-rostock.de/~jh |
| Petra Hofstedt Dept. of Computer Science, |
| Foundations of Programming, |
| Dresden University of Technology Mommsenstr.13 |
| D-01063 Dresden |
| Germany E-mail: hofstedt@inf.tu-dresden.de |
| Peer Johannsen Christian-Albrechts-University of Kiel Siemens Corp. |
| ZT-SE-4 |
| 81730 München |
| Germany E-mail: peer.johannsen@mchp.siemens.de WWW: http://www.informatik.uni-kiel.de/~pjo/ |
| Claude Kirchner LORIA & INRIA Campus scientifique |
| 615, rue du Jardin Botanique |
| BP 101 |
| 54602 Villers-lès-Nancy cedex |
| France E-mail: Claude.Kirchner@loria.fr WWW: http://www.loria.fr/~ckirchne/ |
| Matthias Mann Fachbereich Informatik |
| Johann Wolfgang Goethe-Universität Postfach 11 19 32 |
| D-60054 Frankfurt |
| Germany E-mail: mann@cs.uni-frankfurt.de WWW: www.ki.informatik.uni-frankfurt.de/~mann |
| Claude Marché LRI Bât. 490 |
| Université Paris-Sud |
| 91405 Orsay Cedex |
| France E-mail: Claude.Marche@lri.fr WWW: http://www.lri.fr/~marche/ |
| Michael Marte Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen Institut für Informatik |
| Ludwig-Maximilians-Universität München |
| Oettingenstr. 67 |
| 80538 München |
| Germany E-mail: marte@pms.informatik.uni-muenchen.de WWW: http://www.pms.informatik.uni-muenchen.de/mitarbeiter/marte/ |
| Roberto Nieuwenhuis Tech. Univ. Catalonia (UPC) Barcelona Jordi Girona 1 |
| 08034 Barcelona |
| Spain E-mail: roberto@lsi.upc.es WWW: http://www.lsi.upc.es |
| Elias Oliveira School of Computer Studies University of Leeds |
| LS2 9JT |
| United Kingdom E-mail: elias@scs.leeds.ac.uk |
| Andrea Panati University of Torino corso Svizzera 185 |
| I-10149 Torino |
| Italy E-mail: panati@di.unito.it |
| Carla Piazza Universitá di Udine - |
| Dipartimento di Matematica ed Informatica Via delle Scienze, 206 |
| I-33100 Udine |
| Italy E-mail: piazza@dimi.uniud.it WWW: http://www.dimi.uniud.it/~piazza/ |
| Emmanuel Poder COSYTEC SA 4, rue Jean Rostand |
| 91893 Orsay cedex |
| France E-mail: WWW: http://www.cosytec.com |
| Pascal Poizat IRIN 2, rue de la Houssinière |
| BP 92208 |
| 44322 Nantes cedex 3 |
| France E-mail: Pascal.Poizat@irin.univ-nantes.fr |
| Leonor Prensa Nieto TU Munich Institut für Informatik |
| Technische Universität München |
| Arcisstraße 21 |
| D-80290 München |
| Germany E-mail: prensani@in.tum.de WWW: http://www4.in.tum.de/~prensani |
| Jose Miguel Rivero Tech. Univ. Catalonia (UPC) Barcelona Jordi Girona 1 |
| 08034 Barcelona |
| Spain E-mail: rivero@lsi.upc.es WWW: http://www.lsi.upc.es |
| Mario Rodriguez-Artalejo Univ. Complutense de Madrid Dpto. de Sistemas Informaticos y Programacion. |
| Universidad Complutense de Madrid. |
| 28040 Madrid. |
| Spain E-mail: rafa@sip.ucm.es |
| Hana Rudova Faculty of Informatics, Masaryk University Botanicka 68a |
| Brno, 602 00 |
| Czech Republic E-mail: hanka@fi.muni.cz WWW: http://www.fi.muni.cz/~hanka |
| Pascal Schreck Laboratoire des Sciences de l'Informatique, de l'Image et de la Teledetection 7, rue Descartes |
| 67084 Strasbourg Cedex |
| France E-mail: schreck@dpt-info.u-strasbg.fr |
| Klaus U. Schulz CIS, University of Munich Oettingenstr. 67 |
| D-80538 Munich |
| Germany E-mail: schulz@cis.uni-muenchen.de WWW: http://www.cis.uni-muenchen.de/people/schulz.html |
| Gert Smolka UdS Universität, FB14, |
| Postfach 15 11 50, |
| D-66041 Saarbrücken |
| Germany E-mail: smolka@ps.uni-sb.de WWW: http://www.ps.uni-sb.de/~smolka |
| Elke Tetzner Department of Computer Science Justus-von-Liebig-Weg 6a |
| D-18059 Rostock |
| Germany E-mail: tetzner@informatik.uni-rostock.de WWW: http://www.informatik.uni-rostock.de/~tetzner |
| Daniele Theseider Dupré DSTA - Universitá del Piemonte Orientale Corso Borsalino 54 |
| 15100 Alessandria |
| Italy E-mail: dtd@al.unipmn.it WWW: www.al.unipmn.it/~dtd |
| Ana Paula Tomás Universidade do Porto R. Campo Alegre, 823 |
| 4150 Porto |
| Portugal E-mail: apt@ncc.up.pt |
| Ralf Treinen LRI Université Paris 11 |
| 91405 Orsay cedex |
| France E-mail: Ralf.Treinen@lri.fr WWW: http://www.lri.fr/~treinen/ |
| Xavier Urbain L.R.I. Bât. 490 |
| Université de Paris-Sud |
| 91405 Orsay cedex |
| France E-mail: Xavier.Urbain@lri.fr |
| Vladislav Volkov Glushkov Institute of Cybernetics of National |
| Academy of Sciences of Ukraine 40 Glushkov ave. |
| 252022 Kiev |
| Ukraine E-mail: vlad@d105.icyb.kiev.ua |
This document was translated from LATEX by HEVEA.