| Name | Affiliation | email | WESTAPP | WST | RTA | IFIP | WRS |
|---|
| Aart Middeldorp | University of Tsukuba | ami @ is.tsukuba.ac.jp | + | + | + | + | + |
| Albert Rubio | Universitat Politècnica de Catalunya, Barcelona | rubio @ lsi.upc.es | | + | + | | |
| Alessandro Berarducci | University of Pisa | berardu @ dm.unipi.it | | | + | | |
| Alexander Serebrenik | K.U. Leuven | Alexander.Serebrenik @ cs.kuleuven.ac.be | | + | | | |
| Alfons Geser | NASA Langley Research Center, Hampton VA | geser @ icase.edu | | + | + | | |
| Andreas Weiermann | Westfälischen Wilhelms-Universität, Münster | weierma @ math.uni-muenster.de | | + | | | |
| Armin Kühnemann | TU Dresden | Armin.Kuehnemann @ inf.tu-dresden.de | | | + | | |
| Arvind | Sandburst Corporation/MIT Laboratory for CS | arvind @ sandburst.com | | | + | | |
| Bernhard Gramlich | TU Wien | gramlich @ logic.at | | + | + | + | + |
| Burkhart Wolff | Universität Freiburg | wolff @ informatik.uni-freiburg.de | + | | | | |
| Christophe Ringeissen | INRIA Lorraine, Nancy | Christophe.Ringeissen @ loria.fr | | | + | | |
| Christopher Lynch | Clarkson University, NY | clynch @ clarkson.edu | | | + | | |
| Claude Kirchner | INRIA Lorraine, Nancy | claude.kirchner @ loria.fr | | | + | + | |
| Clemens Grabmayer | Vrije Universiteit, Amsterdam | clemens @ cs.vu.nl | + | + | + | | + |
| Corrado Böhm | Univ. di Roma | | + | + | + | + | |
| Cristina Borralleras | Universitat de Vic | cristina.borralleras @ uvic.es | | + | + | | |
| David A. Plaisted | University of North Carolina at Chapel Hill | plaisted @ cs.unc.edu | | | + | + | |
| Delia Kesner | Université Paris-Sud | kesner @ lri.fr | + | + | + | | |
| Denis Bechet | Université Paris 13 | Denis.Bechet @ lipn.univ-paris13.fr | | | + | | |
| Dieter Hofbauer | Universität Gh Kassel | dieter @ theory.informatik.uni-kassel.de | | + | + | | |
| Eelco Visser | Universiteit Utrecht | visser @ cs.uu.nl | | | + | | + |
| Enno Ohlebusch | University of Bielefeld | enno @ TechFak.Uni-Bielefeld.de | | + | + | | |
| Evelyne Contejean | Université Paris-Sud | contejea @ lri.fr | | | + | | |
| Fairouz Kamareddine | Heriot-Watt University, Edinburg | fairouz @ cee.hw.ac.uk | + | + | | | |
| Farhad Arbab | CWI, Amsterdam | farhad @ cwi.nl | | + | + | | |
| Femke van Raamsdonk | Vrije Universiteit, Amsterdam | femke @ cs.vu.nl | | + | + | | |
| Francisco José Correa Zabala | Universidad Politécnica de Valencia | fcorrea @ dsic.upv.es/fcorrea @ eafit.edu.co | | | | | + |
| Franz Baader | RWTH Aachen | baader @ informatik.rwth-aachen.de | | | | + | |
| Frederico de Marchi | University of Leicester | fdm2 @ mcs.le.ac.uk | + | | + | | |
| Georg Struth | Albert-Ludwigs-Universität Freiburg | struth @ informatik.uni-freiburg.de | | | + | | |
| Hans Zantema | Technische Universiteit Eindhoven | h.zantema @ tue.nl | | + | + | + | |
| H.P. Barendregt | University of Nijmegen | henk @ cs.kun.nl | | + | + | | |
| Hideto Kasuya | Aichi Prefectural University | kasuya @ ist.aichi-pu.ac.jp | | + | + | | |
| Ian Mackie | École Polytechnique, Palaiseau | mackie @ lix.polytechnique.fr | + | | | | |
| Jaco van de Pol | CWI, Amsterdam | jaco.van.de.pol @ cwi.nl | | | | | + |
| Jan Bergstra | Universiteit Utrecht | janb @ phil.uu.nl | | | + | | |
| J.W. Klop | Vrije Universiteit, Amsterdam | jwk @ cs.vu.nl | | + | + | + | |
| Jens R. Woinowski | TU Darmstadt | woinowski @ iti.informatik.tu-darmstadt.de | | | + | | |
| Jeroen van der Ham | Universiteit Utrecht | vdham @ phil.uu.nl | + | + | + | | + |
| Joachim Niehren | Universität des Saarlandes, Saarbrücken | niehren @ ps.uni-sb.de | | | + | | |
| Joe Wells | Heriot-Watt University, Edinburgh | jbw @ cee.hw.ac.uk | + | + | + | | + |
| Johannes Waldmann | Universität Leipzig | joe @ informatik.uni-leipzig.de | | + | + | | |
| Jonathan P. Seldin | University of Lethbridge | jonathan.seldin @ uleth.ca | + | + | | | |
| Jordi Levy | IIIA - CSIC, Bellaterra/LSI - UPC, Barcelona | levy @ iiia.csic.es | + | + | + | | |
| Jorge Sousa Pinto | Universidade do Minho, Braga | jsp @ di.uniminho.pt | | | + | | |
| Julien Forest | Université Paris-Sud | forest @ lri.fr | | + | + | | |
| Jürgen Giesl | RWTH Aachen | giesl @ informatik.rwth-aachen.de | | + | + | + | |
| Katrin Erk | Universität des Saarlandes, Saarbrücken | erk @ ps.uni-sb.de | | | + | | |
| Konstantin Korovin | University of Manchester | korovink @ cs.man.ac.uk | | + | + | | |
| Laurent Vigneron | LORIA -- Université Nancy 2 | vigneron @ loria.fr | | | + | + | |
| Liliana Ibanescu | INRIA Lorraine, Nancy | ibanescu @ loria.fr | | | + | | + |
| Luigi Liquori | INRIA Lorraine, Nancy | Luigi.Liquori @ loria.fr | + | + | + | | |
| Manuel Bodirsky | Humboldt-Universität, Berlin | bodirsky @ informatik.hu-berlin.de | | | + | | |
| Markus Lohrey | University of Stuttgart | lohreyms @ informatik.uni-stuttgart.de | | | + | | |
| Maribel Fern´ndez | École Normale Supérieure, Paris | maribel @ di.ens.fr | + | | | | |
| Martijn Warnier | Universiteit Utrecht | warnier @ phil.uu.nl | + | + | + | | + |
| Masahiko Sakai | Nagoya University | sakai @ nuie.nagoya-u.ac.jp | | + | + | | |
| Mateu Villaret | IMA, UdG, Girona | villaret @ ima.udg.es | + | + | + | | |
| Michael Abbott | RCP, University of Leicester | michael @ rcp.co.uk | + | + | + | | |
| Michaël Rusinowitch | INRIA Lorraine, Nancy | Michael.Rusinowitch @ loria.fr | | | + | | |
| Michio Oyamaguchi | Mie University | mo @ cs.info.mie-u.ac.jp | | + | + | | |
| Mirna Bognar | Vrije Universiteit, Amsterdam | mirna @ cs.vu.nl | + | | | | |
| Nachum Dershowitz | Tel-Aviv University | nachumd @ tau.ac.il | + | + | + | + | |
| Neil Ghani | University of Leicester | ng13 @ mcs.le.ac.uk | + | + | + | | + |
| Nguyen Quang Huy | INRIA Lorraine, Nancy | Quang-Huy.Nguyen @ loria.fr | | | + | | + |
| Oliver Theel | Darmstadt University of Technology | Theel @ ieee.org | | + | | | |
| Patricia Johann | Bates College, Turner ME | pjohann @ bates.edu | | | + | | |
| Paul Klint | CWI, Amsterdam | Paul.Klint | | | + | | + |
| Paul-André Melliès | CNRS - Université de Paris 7 | Paul-Andre.Mellies @ ens.fr | + | | + | | |
| Pierre Lescanne | École Normale Supérieure de Lyon | pierre.lescanne @ ens-lyon.fr | + | + | + | | |
| P.H. Rodenburg | Universiteit van Amsterdam | pietr @ science.uva.nl | + | + | + | | |
| René Vestergaard | IML-CNRS, Marseille | vester @ iml.univ-mrs.fr | + | + | + | | + |
| Robert Nieuwenhuis | Technical University Catalonia, Barcelona | roberto @ lsi.upc.es | | | + | + | |
| Roel Bloo | Technische Universiteit Eindhoven | c.j.bloo @ tue.nl | + | | | | |
| Roy Dyckhoff | University of St. Andrews | rd @ dcs.st-and.ac.uk | + | + | + | | + |
| Salvador Lucas | Universidad Politècnica de Valencia | slucas @ dsic.upv.es | | + | + | + | + |
| Sébastien Limet | Université d'Orléans | sebastien.limet @ lifo.univ-orleans.fr | | | + | | |
| Sergio Antoy | Portland State University, OR | antoy @ cs.pdx.edu | | | | | + |
| Silvia Ghilezan | University of Novisad/K.U. Nijmegen | silviagh @ cs.kun.nl | | + | + | | |
| Silvia Likavec | University of Novisad | likavec @ uns.ns.ac.yu | | + | + | | |
| Sophie Tison | Université des Sciences et Technologies de Lille | tison @ lifl.fr | | | + | | |
| Stefan Kahrs | University of Kent at Canterbury | smk @ ukc.ac.uk | | + | + | | |
| S.C.C. Blom | CWI, Amsterdam | sccblom @ cwi.nl | | | + | | |
| Tetsuo Ida | University of Tsukuba | ida @ score.is.tsukuba.ac.jp | | | | + | + |
| Thomas Arts | Computer Science Lab Ericsson | thomas @ cslab.ericsson.se | | + | + | | |
| Thomas Hillenbrand | Max-Planck-Institut für Informatik, Saarbrücken | | | | + | + | |
| Toshiyuki Yamada | University of Tsukuba | toshi @ score.is.tsukuba.ac.jp | | + | + | | + |
| Vera David | Middle School, Boghiceni | office @ comprex.dnt.md | | + | | | |
| Vincent van Oostrom | Universiteit Utrecht/CWI Amsterdam | oostrom @ phil.uu.nl | + | + | + | + | + |
| Wim Vanhoof | K.U. Leuven | Wim.Vanhoof @ cs.kuleuven.ac.be | | + | | | |
| Xavier Urbain | Université Paris-Sud | urbain @ lri.fr | | + | + | | |
| Yoshihito Toyama | Tohoku University | toyama @ nue.riec.tohoku.ac.jp | + | + | + | + | + |
| Yoshikatsu Ohta | Mie University | ohta @ cs.info.mie-u.ac.jp | | + | + | | |