Honorary Members

Prof. Jürgen Avenhaus
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern
Germany
E-mail: avenhaus @ informatik.uni-kl.de
Web page
Phone: +49 631 205 2633
Fax: +49 631 205 2156

Prof. Henk Barendregt
Institute for Computing and Information Sciences
Radboud University Nijmegen
Box 9010
6500 GL Nijmegen
The Netherlands
E-mail: henk @ cs.ru.nl
Web page
Phone: +31 24 3652642
Fax: +31 24 3652728

Prof. Corrado Böhm
Computer Science Department
University of Rome "La Sapienza"
Via Salaria, 113
00198 Rome
Italy
E-mail: bohm @ di.uniroma1.it
Web page
Phone: +39 6 884 5235
Fax: +39 6 884 1964

Prof. Gérard Huet
INRIA Rocquencourt
Domaine de Voluceau - B.P. 105
78153 Le Chesnay Cedex
France
E-mail: Gerard.Huet @ inria.fr
Web page
Phone: +33 1 3963 5027
Fax: +33 1 3963 5684

Prof. Jan Willem Klop
Department of Theoretical Computer Science
Faculty of Sciences
Vrije Universiteit
De Boelelaan 1081a
1081 HV Amsterdam
The Netherlands
E-mail: jwk @ cs.vu.nl
Web page
Phone: +31 20 598 7770

Prof. Jean-Pierre Jouannaud
Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex
France
E-mail: Jean-Pierre.Jouannaud @ lix.polytechnique.fr
Web page
Phone: +33 1 6933 4073
Fax: +33 1 6933 3014

Prof. Ugo Montanari
Dipartimento di Informatica
Università di Pisa
Largo Bruno Pontecorvo 3
56127 Pisa
Italy
E-mail: ugo @ di.unipi.it
Web page
Phone: +39 050 221 2721
Fax: +39 050 221 2726

Active Members:

Prof. Siva Anantharaman
LIFO - Université d'Orléans
Rue Léonard de Vinci
B.P. 6759
45067 Orléans Cedex 02
France
E-mail: siva @ univ-orleans.fr
Web page
Phone: +33 2 3841 7313
Fax: +33 2 3841 7137

Prof. Franz Baader
TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
E-mail: baader @ tcs.inf.tu-dresden.de
Web page
Phone: +49 351 463 39160
Fax: +49 351 463 37959

Prof. Maria Paola Bonacina
Dipartimento di Informatica
Università degli Studi di Verona
Ca' Vignal 2
Strada Le Grazie 15
37134 Verona
Italy
E-mail: mariapaola.bonacina @ univr.it
Web page
Fax: +39 045 802 7068

Prof. Hubert Comon
LSV
Ecole Normale Supérieure de Cachan
61, Avenue du Président Wilson
94235 Cachan Cedex
France
E-mail: comon @ lsv.ens-cachan.fr
Web page
Phone: +33 1 4740 7520 (secretary), 1 4740 7524 (direct)
Fax: +33 1 4740 7521

Prof. Nachum Dershowitz
School of Computer Science
Tel Aviv University
Ramat Aviv, Tel Aviv 69978
Israel
E-mail: nachumd @ tau.ac.il
Web page
Phone: +972 03 640 5356
Fax: +972 03 640 5948

Prof. Daniel J. Dougherty
Department of Computer Science
Worcester Polytechnic Institute
100 Institute Rd
Worcester, MA 01609
USA
E-mail: dd @ cs.wpi.edu
Web page
Phone: +1 508 831 5621
Fax: +1 508 831 5776

Prof. Maribel Fernández
Department of Computer Science
King's College London
Strand
London, WC2R 2LS
UK
E-mail: maribel.fernandez @ kcl.ac.uk
Web page
Phone: +44 20 7848 2499
Fax: +44 20 7848 2851

Prof. Jürgen Giesl (Chairman)
Lehr- und Forschungsgebiet Informatik 2
Fachgruppe Informatik
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany
E-mail: giesl @ informatik.rwth-aachen.de
Web page
Phone: +49 241 80 21230
Fax: +49 241 80 22217

Prof. Nao Hirokawa
School of Information Science
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Nomi, Ishikawa, 923-1292
Japan
E-mail: hirokawa @ jaist.ac.jp
Web page
Phone: +81 761 51 1277

Prof. Tetsuo Ida
Department of Computer Science
University of Tsukuba
Tsukuba 305-8573
Japan
E-mail: Tetsuo.Ida @ acm.org
Web page
Phone: +81 29 853 5533, 5164
Fax: +81 29 853 6982

Dr. Florent Jacquemard
IRCAM
1, place Igor-Stravinsky
75004 Paris
France
E-mail: florent.jacquemard @ inria.fr
Web page
Phone: +33 1 44 78 15 48

Prof. Deepak Kapur
Department of Computer Science
School of Engineering
University of New Mexico
Albuquerque, NM 87131-0001
USA
E-mail: kapur @ cs.unm.edu
Web page
Phone: +1 505 277 3112
Fax: +1 505 277 6927

Prof. Delia Kesner
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 Paris Cedex 13
France
E-mail: kesner @ pps.jussieu.fr
Web page
Phone: +33 1 44 27 99 61
Fax: +33 1 44 27 86 54

Prof. Claude Kirchner
Centre de Recherche INRIA Bordeaux - Sud-Ouest
Batiment A29
351, Cours de la libération
33405 Talence
France
E-mail: Claude.Kirchner @ inria.fr
Web page
Phone: +33 5 2457 4002 (assistant), 5 2457 4001 (direct)
Fax: +33 5 4000 2117

Prof. Hélène Kirchner
Centre de Recherche INRIA Bordeaux - Sud-Ouest / CNRS
Batiment A29
351, Cours de la libération
33405 Talence
France
E-mail: Helene.Kirchner @ inria.fr
Web page
Phone: +33 5 2457 4002 (secretary), 5 2457 4003 (direct)
Fax: +33 5 2457 4023

Prof. Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
Ecole Normale Supérieure de Lyon
46, Allée d'Italie
69364 Lyon
France
E-mail: Pierre.Lescanne @ ens-lyon.fr
Web page
Phone: +33 4 7272 8683
Fax: +33 4 7272 8080

Prof. Salvador Lucas
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera s/n
46022 Valencia
Spain
E-mail: slucas @ dsic.upv.es
Web page
Phone: +34 96 387 7007
Fax: +34 96 387 7359

Prof. Christopher Lynch
Department of Math and Computer Science
P.O. Box 5815
Clarkson University
Potsdam, NY 13699-5815
USA
E-mail: clynch @ clarkson.edu
Web page
Phone: +1 315 268 2384
Fax: +1 315 268 2371

Prof. Klaus Madlener
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern
Germany
E-mail: madlener @ informatik.uni-kl.de
Web page
Phone: +49 631 205 3536
Fax: +49 631 205 3420

Prof. Jose Meseguer
The Thomas M. Siebel Center for Computer Science
201 N. Goodwin Ave.
Urbana, IL 61801-2302
USA
E-mail: meseguer @ uiuc.edu
Web page
Phone: +1 217 333 6733
Fax: +1 217 333 9386

Prof. Aart Middeldorp
Institute of Computer Science
University of Innsbruck
Technikerstrasse 21a
6020 Innsbruck
Austria
E-mail: Aart.Middeldorp @ uibk.ac.at
Web page
Phone: +43 (512) 507 6430
Fax: +43 (512) 507 9887

Prof. Georg Moser
Institute of Computer Science
University of Innsbruck
Technikerstrasse 21a
6020 Innsbruck
Austria
E-mail: Georg.Moser @ uibk.ac.at
Web page
Phone: +43 (512) 507 6435

Prof. Paliath Narendran
Department of Computer Science
University at Albany -- SUNY
Albany, NY 12222
USA
E-mail: dran @ cs.albany.edu
Web page
Phone: +1 518 442 3387
Fax: +1 518 442 5638

Prof. Robert Nieuwenhuis
Technical University of Catalonia (UPC)
Dpt. Lenguajes y Sistemas Informaticos (LSI)
Jordi Girona 1
08034 Barcelona
Spain
E-mail: roberto @ lsi.upc.edu
Web page
Phone: +34 93 413 7865
Fax: +34 93 413 7833

Prof. Vincent van Oostrom
Universiteit Utrecht
Faculteit Wijsbegeerte
Postbus 80126
3508 TC Utrecht
The Netherlands
E-mail: Vincent.vanOostrom @ phil.uu.nl
Web page
Phone: +31 30 253 2761
Fax: +31 30 253 2816

Prof. Friedrich Otto
Fachbereich Elektrotechnik/Informatik
Universität Kassel
Wilhelmshöher Allee 71-73
34121 Kassel
Germany
E-mail: otto @ theory.informatik.uni-kassel.de
Web page
Phone: +49 561 804 6630 (secretary), 561 804 6633 (direct)
Fax: +49 561 804 6631

Prof. David Plaisted
Department of Computer Science
University of North Carolina at Chapel Hill
CB #3175, Sitterson Hall
Chapel Hill, NC 27599-3175
USA
E-mail: plaisted @ cs.unc.edu
Web page
Phone: +1 919 962 1751
Fax: +1 919 962 1799

Dr. Femke van Raamsdonk
Department of Computer Science
Faculty of Sciences
Vrije Universiteit
De Boelelaan 1081a
1081 HV Amsterdam
The Netherlands
E-mail: femke @ cs.vu.nl
Web page
Phone: +31 20 598 7710
Fax: +31 20 598 7653

Dr. Kristoffer H. Rose
Two Sigma Investments, LLC
100 Avenue of the Americas
New York, NY 10013
USA
E-mail: krisrose @ acm.org
Web page
Phone: +1 646 292 6273
Fax: +1 212 274 3611

Prof. Albert Rubio
Universitat Politècnica de Catalunya
Departament de Llenguatges i Sistemes Informàtics
Edifici OMEGA
C/ Jordi Girona, 1-3
E-08034 Barcelona
Spain
E-mail: rubio @ lsi.upc.edu
Web page
Phone: +34 93 413 7899
Fax: +34 93 4137833

Prof. Michaël Rusinowitch
LORIA - INRIA Lorraine
Campus Scientifique, B.P. 239
54506 Vandoeuvre-lès-Nancy Cedex
France
E-mail: Michael.Rusinowitch @ loria.fr
Web page
Phone: +33 3 8359 3020
Fax: +33 3 8327 8319

Prof. Manfred Schmidt-Schauß
Institut für Informatik
FB Biologie und Informatik (12)
Johann Wolfgang Goethe-Universität
Postfach 11 19 32
60054 Frankfurt am Main
Germany
E-mail: schauss @ ki.informatik.uni-frankfurt.de
Web page
Phone: +49 69 798 28597
Fax: +49 69 798 28919

Prof. Peter Schneider-Kamp (Secretary)
Department of Mathematics and Computer Science
University of Southern Denmark
Campusvej 55
5230 Odense M
Denmark
E-mail: petersk @ imada.sdu.dk
Web page
Phone: +45 6550 2327
Fax: +49 6550 2325

Prof. Aaron Stump
Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242-1419
USA
E-mail: astump @ acm.org
Web page

Prof. Yoshihito Toyama
Research Institute of Electrical Communication
Tohoku University
2-1-1, Katahira, Aoba-ku
Sendai 980-8577
Japan
E-mail: toyama @ nue.riec.tohoku.ac.jp
Web page

Prof. Ralf Treinen
Laboraitoire Preuves, Programmes et Systèmes
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13
France
E-mail: treinen @ pps.jussieu.fr
Web page

Dr. Laurent Vigneron
LORIA - Université Nancy 2
Campus Scientifique, B.P. 239
54506 Vandoeuvre-lès-Nancy Cedex
France
E-mail: Laurent.Vigneron @ loria.fr
Web page
Phone: +33 3 8359 3020
Fax: +33 3 8327 8319

Prof. Johannes Waldmann
Faculty of Computer Science, Mathematics, and Natural Sciences
HTWK Leipzig University of Applied Sciences
Postfach 301166
04251 Leipzig
Germany
E-mail: waldmann @ imn.htwk.leipzig.de
Web page
Phone: +49 341 3076 6479
Fax: +49 341 3076 6381

Prof. Hans Zantema
Department of Computing Science
Eindhoven University of Technology
P.O. box 513
5600 MB Eindhoven
The Netherlands
E-mail: H.Zantema @ tue.nl
Web page
Phone: +31 040 2472749
Fax: +31 040 2468508