Members
| Chairman | Secretary |
|---|---|
| Jürgen Giesl | Peter Schneider-Kamp |
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 |