Andreas M. Abel
LFE Theoretische Informatik
Ludwig-Maximilians-Universität München
München, Germany
Robin Adams
University of London
United Kingdom
Markus Aderhold
Technische Universität Darmstadt
Darmstadt, Germany
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST)
Research Center for Information Security (RCIS)
Tokyo, Japan
Bivek Agrawal
Department of Computer Science
University of Tennessee
Knoxville, Tennessee, U.S.A.
Bilal Ahmed
Department of Computer Engineering
Kyung Hee University
South Korea
Wolfgang Ahrendt
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Behzad Akbarpour
University of Cambridge
Cambridge, U.K.
Geoffrey D. Alexander
IBM Corporation
Research Triangle Park, North Carolina, U.S.A.
Bijan Alizadeh Malafeh
University of Tokyo
Tokyo, Japan
Dennis Allard
Santa Monica, California, U.S.A.
John R Allen
Santa Clara University
Santa Clara, California, U.S.A.
Mohammed Almulla
Department of Mathematics and Computer Science
Kuwait University
Safat, Kuwait
José-Antonio Alonso Jímenez
Departmento de Ciencias de la Computacion e Inteligencia Artificial
Universidad de Sevilla
Sevilla, Spain
Eyal Amir
Department of Computer Science
University of Illinois
Urbana, Illinois, U.S.A.
Hasan Amjad
University of Cambridge
Cambridge, U.K.
Jean-Marc Andreoli
Xerox Research Centre Europe
Grenoble, France
Roger Antonsen
Informatikkbgget
Universitetet I Oslo
Oslo, Norway
Siva Anantharaman
Departement d'Informatique
Université d'Orléans
Orléans, France
Peter B. Andrews
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Houda Anoun
LaBRI
Talence, France
Michael Anshel
New York, New York, U.S.A.
Stephen Anthony
Basser Department of Computer Science
University of Sydney
Sydney, Australia
Roger Antonsen
Dept. of Informatics
University of Oslo
Norway
Andrew W. Appel
Department of Computer Science
Princeton University
Princeton, New Jersey, U.S.A.
Myla Archer
US Naval Research Laboratory
Washington, DC, U.S.A.
Zena Matilde Ariola
Department of Computer and Information Science
University of Oregon
Eugene, Oregon, U.S.A.
Alessandro Armando
DIST
Università di Genova
Genova, Italy
Sergei Artemov
Ph.D. Program in Computer Science
The CUNY Graduate Center
New York, New York, U.S.A.
Rob D. Arthan
Lemma 1 Ltd.
Reading, Berkshire, U.K.
Charles Ashbacher
Charles Ashbacher Technologies
Hiawatha, Iowa, U.S.A.
Bertil Askelid
Research and Development
Sympoiesis
Anaheim Hills, California, U.S.A.
Owen Astrachan
Department of Computer Science
Duke University
Durham, North Carolina, U.S.A.
Serge Autexier
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Jürgen Avenhaus
Fachbereich Informatik
Universität Kaiserslautern
Kaiserslautern, Germany
Arnon Avron
School of Computer Science
Tel-Aviv University
Tel Aviv, Israel
Mauricio Ayala-Rincón
Departamentos de Matemática e Ciência da
Computação
Universidade de Brasília
Brasilia DF, Brasil
Franz Baader
Theoretische Informatik
Technische Universität Dresden
Dresden, Germany
Matthias Baaz
Technische Universitaet Wien
Wien, Austria
Leo Bachmair
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, New York, U.S.A.
David Baelde
INRIA & Ecole Polytechnique, LIX
Palaiseau, France
Vincent Balat
Laboratoire d'Informatique
Ecole Normale Supérieure
Paris, France
Clemens Ballarin
Institut für Algorithmen und Kognitive Systeme
Universität Karlsruhe
Karlsruhe, Germany
Grzegorz Bancerek
Department of Information Engineering
Shinshu University
Wakasato, Nagano-City, Japan
Bonny Banerjee
Dept. of Computer Science and Engineering
The Ohio State University
Columbus, Ohio, U.S.A.
Ranan B. Banerji
Melrose Park, Pennsylvania, U.S.A.
Clark W. Barrett
Department of Computer Science
New York University
New York, New York, U.S.A.
David Basin
ETH Zurich
Zurich, Switzerland
Richard F. Baum
Department of Information and Software System Engineering
George Mason University
Fairfax, Virginia, U.S.A.
Peter Baumgartner
National ICT Australia
Canberra, Australia
John Baxter
School of Mathematics
University of Minnesota
Minneapolis, Minnesota, U.S.A.
Bernhard Beckert
University of Koblenz
Koblenz, Germany
Michael J. Beeson
San Jose' State University
Aptos, California, U.S.A.
Johan G. F. Belinfante
School of Mathematics
Georgia Institute of Technology
Atlanta, Georgia, U.S.A.
Marco Benedetti
LIFO - Laboratoire d'Informatique Fondamentale d'Orleans
University of Orleans
Orleans ,France
Belaid Benhamou
Laboratoire des Sciences de l'Information et des Systèmes
Université de Provence
Marseille, France
Marcin Benke
Institute of Informatics
University of Warsaw, Poland
Hicham Bensaid
INPG
France
Christoph E. Benzmüller
International University in Germany
Germany
Andrew Bernard
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Dietmar Berwanger
Fachbereich Informatik
RWTH Aachen
Aachen, Germany
Nicolas Bertaux
Paris 11
France
Marc Bezem
University of Bergen
Norway
Wolfgang Bibel
Fachbereich Informatik
Technische Universität Darmstadt
Darmstadt, Germany
Nicolas Biri
LORIA & Université Henri Poincaré
Nancy, France
Magnus Björk
Department of Computing Science
Chalmers University of Technology
Göteborg, Sweden
Nikolaj S. Bjørner
Microsoft Research
Redmond, WA, U.S.A.
Bruno Blanchet
CNRS, Ecole Normale Supérieure - DI
Paris, France
Jasmin Christian Blanchette
TU München
München Germany
Enrico Blanzieri
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
Miquel Bofill
Dept. IMA
Universidad de Girona
Girona, Spain
Bernard Boigelot
Institut Montefiore
Université Ligèe
Liege, Belgium
Hovhannes Bolibekyan
Department of Informatics and Applied Mathematics
Yerevan State University
Yerevan, Armenia
Maria Paola Bonacina
Dipartimento di
Informatica
Università degli Studi di Verona
Verona, Italy
Borzoo Bonakdarpour
Michigan State University
East Lansing, Michigan, U.S.A.
Richard Bonichon
Université Paris 6/LIP6
Paris, France
Matthias Bormann
Fachbereich Informatik
Technische Universität Darmstadt
Darmstadt, Germany
Cristina Borralleras
Departamento Informàtica i Matemàtica
E. P. S. Universitat de Vic
Vic, Spain
Johan Bos
Division of Informatics
University of Edinburgh
Edinburgh, Scotland, U.K.
Richard J. Boulton
Department of Computing Science
University of Glasgow
Glasgow, Scotland, U.K.
Thierry Boy de la Tour
Laboratoire LEIBNIZ
Institut National Polytechnique de Grenoble
Grenoble, France
Robert S. Boyer
Department of Computer Science
University of Texas at Austin
Austin, Texas, U.S.A.
Dr. Marco Bozzano
ITC-IRST
Italy
Keith L. Breinholt
Salt Lake City, Utah, U.S.A.
Paolo Bresciani
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
Chad E. Brown
Universität des Saarlandes
Saarbrücken, Germany
G. L. Brown
Sevenoaks, Kent, England, U.K.
Achim D. Brucker
SAP Research
Karlsruhe, Germany
Robert Brummayer
Johannes Kepler University
Austria
Julien Brusten
University of Liège
Belgium
Roberto Bruttomesso
University of Lugano
Switzerland
Francois Bry
Institut fuer Informatik
Ludwig-Maximilians-Universitaet Muenchen
Muenchen, Germany
Randy Bryant
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Richard Bubel
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Bruno Buchberger
Research Institute for Symbolic Computation
Hagenberg, Austria
Hans-Jürgen Bürckert
DFKI
Saarbrücken, Germany
Alan Bundy
School of Informatics
University of Edinburgh
Edinburgh, Scotland, U.K.
Guillaume Burel
Université H. Poincaré (Nancy 1)
France
Ralph Butler
Department of Computer Science
Middle Tennessee State University
Murfreesboro, Tennessee, U.S.A.
Ricardo Caferra
Laboratoire LEIBNIZ-IMAG
Grenoble, France
Paul Cairns
UCL Interaction Centre
University College London
London, England, United Kingdom
Andrea Calì
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
Roma, Italy
Jacques Calmet
Fakultät für Informatik
Universität Karlsruhe
Karlsruhe, Germany
Luigia Carlucci Aiello
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
Roma, Italy
Jan Cedarquist
CWI
Amsterdam, The Netherlands
Serena Cerrito
Université d'Evry Val d'Essonne
Evry, France
Amine Chaieb
TU Munich
Institut fur Informatik TUM
Munich, Germany
Kaustuv Chaudhuri
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Hao Chen
Department of Computer Science
University of York
England, United Kingdom
Jingde Cheng
Department of Information and Computer Sciences
Saitama University
Japan
Yannick Chevalier
INRIA-Lorraine
Villers les Nancy, France
Christine Choppy
Institut Galilée
Université Paris XIII
Villetaneuse, France
Alessandro Cimatti
Fondazione Bruno Kessler
Povo, Italy
Stefan Ciobaca
ENS Cachan
France
Samir Chopra
Department of Computer and Information Science
Brooklyn College
Brooklyn, New York, U.S.A.
Shang-Ching Chou
Department of Computer Science
Wichita State University
Wichita, Kansas, U.S.A.
Jacek Chrzaszcz
Warsaw University
Warsaw, Poland
Heng Chu
IBM Corporation
Research Triangle Park, North Carolina, U.S.A.
Marta Cialdea
Dipartimento di Informatica e Automazione
Terza Università di Roma
Roma, Italy
Koen Claessen
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Edmund M. Clarke
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Anthony G. Cohn
School of Computer Studies
University of Leeds
Leeds, England, U.K.
Simon Colton
Imperial College London
London, England, U.K.
Luca Compagna
SAP Labs France
Nice Sofia-Antipolis
Adriana Compagnoni
Department of Computer Science
Stevens Institute of Technology
Hoboken, New Jersey, U.S.A.
Robert L. Constable
Department of Computer Science
Cornell University
Ithaca, New York, U.S.A.
Evelyne Contejean
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France
Byron Cook
Microsoft Research
Cambridge, U.K.
Thierry Coquand
University of Gothenburg
Gothenburg, Sweden
Pierre Corbineau
Laboratoire de Recherche en Informatique
Orsay, France
Judicaël Courant
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France
Denis Cousineau
Ecole Polytechnique - INRIA Sacaly Ile de France
France
John Cowles
Department of Computer Science
University of Wyoming
Laramie, Wyoming, U.S.A.
Iain Craig
University of Northampton
Northampton, UK
Karl Crary
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
David Crocker
Escher Technologies Ltd.
Frimley, England, U.K.
Roy Crole
Department of Mathematics and Computer Science
University of Leicester
Leicester, England, United Kingdom
John Newsome Crossley
Department of Computer Science
Monash University
Clayton, Victoria, Australia
Jorge Cuellar
Siemens
Munich, Germany
Jim Cunningham
Department of Computing
Imperial College
London, England, U.K.
Bernd Ingo Dahn
Fachbereich Informatik
Universität Koblenz-Landau
Koblenz, Germany
Maulik Dave
Vivechan, Inc.
Atlanta, GA, U.S.A.
Jared C. Davis
University of Texas at Austin
Austin, Texas, U.S.A.
Martin Davis
Department of Mathematics
University of California at Berkeley
Berkeley, California, U.S.A.
Philippe De Groote
INRIA-Lorraine
Nancy, France
Hans De Nivelle
University of Wrocław
Wrocław, Poland
Leonardo de Moura
Microsoft Research
Redmond, U.S.A.
Diego Caminha Barbosa de Oliveira
Universite de Nancy
France
Maarten de Rijke
Institute for Logic, Language and Computation
Universiteit Amsterdam
Amsterdam, the Netherlands
Stéphane Demri
Laboratoire Spécification et Vérification
Ecole Normale Supérieure de Cachan
Cachan, France
Louise A. Dennis
Department of Computer Science
University of Liverpool
England, U.K.
Nachum Dershowitz
Tel-Aviv University
Ramat-Aviv, Israel
Joelle Despeyroux
INRIA Sophia-Antipolis
Sophia-Antipolis, France
Morgan Deters
Technical University of Catalonia (UPC)
Spain
Volker Diekert
Institut für Informatik
Universität Stuttgart
Stuttgart, Germany
Dominik Dietrich
AG Deduktionssysteme
Fachbereich Informatik (FB 14)
Saarland University
Saarbruecken, Germany
Clare Dixon
Department of Computer Science
Liverpool University
Liverpool, England, U.K.
Lucas Dixon
Division of Informatics
University of Edinburgh
Edinburgh, Scotland, United Kingdom
Christian Doczkal
Universität des Saarlandes
Saarbrücken, Germany
Damien Doligez
INRIA Rocquencourt
Paris, France
John Donelan
US Government
Bethesda, Maryland, U.S.A.
Daniel J. Dougherty
Worcester Polytechnic Institute
Worcester, New York, U.S.A.
Sylvie Doutre
IRIT
Université Paul Sabatier
Toulouse, France
Gilles Dowek
Ecole polytechnique and INRIA Rocquencourt
Paris, France
Edward (Ted) Doyle
Department of Computer Science
Clemson University
Clemson, South Carolina, U.S.A.
Dave Duchesneau
Scrutiny, Inc.
Seattle, Washington, U.S.A.
Hazel Duncan
University of Edinburgh
Edinburgh, Scotland, U.K.
Jan Duracz
Aston University
United Kingdom
Dutertre, Bruno
SRI International
U.S.A.
Peter Dybjer
Chalmers University of Technology
Göteborg, Sweden
Roy Dyckhoff
Division of Computer Science
University of St. Andrews
St. Andrews, Scotland, U.K.
Mnacho Echenim
Dipartimento di Informatica
Università degli Studi di Verona
Verona, Italy
Elmar Eder
Institut für Computerwissenschaften
Universität Salzburg
Salzburg, Austria
Uwe Egly
Abteilung Wissensbasierte Systeme
Technische Universität Wien
Wien, Austria
Norbert Eisinger
Institut für Informatik
Universität München
München, Germany
Steven Eker
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
E. Allen Emerson
Department of Computer Sciences
University of Texas at Austin
Austin, Texas, U.S.A.
Ulrich Endriss
Department of Computer Science
King's College
London, England, U.K.
Jorg Endrullis
Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
Esra Erdem
Sabanci University
Istanbul, Turkey
John Erickson
Jet Propulsion Laboratory
4467 Hackberry Court
Midland, Texas, U.S.A.
Lars-Henrik Eriksson
Industrilogik
Stockholm, Sweden
Stephan Falke
University of New Mexico
Albuquerque, United States
William M. Farmer
Department of Computing and Software
McMaster University
Hamilton, Ontario, Canada
Detlef Fehrer
SICK AG
Waldkirch, Germany
Giovanni Felici
IASI CNR
Roma, Italy
Amy Felty
School of Information Technology and Engineering
University of Ottawa
Ottawa, Ontario, Canada
Shasha Feng
College of Computer Science and Technology
Jilin University
China
Pascal Fenkam
Technische Universitaet Wien
Wien, Austria
Christian G. Fermüller
Institut für Computersprachen
Technische Universität Wien
Wien, Austria
Armin Fiedler
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Arnaud Fietzke
Saarland University
Saarbrücken, Germany
Marcelo Finger
Departamento de Ciência da Computação
Universidade de Sao Paulo
Sao Paulo, Brazil
Bernd Fischer
University of Southampton
Southampton, United Kingdom
Michael Fisher
Department of Computer Science
University of Liverpool
Liverpool, England, U.K.
Olivier Fissore
LORIA & INRIA Lorraine
Villers les Nancy, France
Melvin Fitting
City University of New York
New York, New York, U.S.A.
James Fitzgerald
Argonne National Laboratory and The University of Chicago
Chicago, Illinois, U.S.A.
Jacques Desiré Fleuriot
University of Edinburgh
Edinburgh, Scotland, U.K.
Pascal Fontaine
LORIA & Nancy Université
Nancy, France
Andrea Formisano
Dipartimento di Matematica e Informatica
Università di Udine
Udine, Italy
Andreas Franke
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Michael Franssen
Eindhoven University of Technology
Netherlands
Cameron Freer
Department of Mathematics
Massachusetts Institute of Technology
USA
Alexander Fuchs
University Koblenz-Landau
Koblenz, Germany
Hiroshi Fujita
Kyushu University
Kasuga, Fukuoka, Japan
Ulrich Furbach
Fachbereich Informatik
Universität Koblenz-Landau
Koblenz, Germany
Dov Gabbay
Department of Computer Science
King's College
London, England, U.K.
Jean-Marie Gaillourdet
Fachbereich Informatik
Universitaet Kaiserslautern
Kaiserslautern, Germany
Borislav Gajanovic
TU Braunschweig
Braunschweig, Germany
Didier Galmiche
LORIA & Université Henri Ponicaré
Nancy, France
Ruben A. Gamboa
Department of Computer Science
University of Wyoming
U.S.A.
Xiao-Shan Gao
Institute of Systems Science
Academia Sinica
Beijing, P.R. China
Stephen Garland
Laboratory for Computer Science
Massachusetts Institute for Technology
Cambridge, Massachusetts, U.S.A.
Francis Gasse
Concordia University
Canada
Yeting Ge
New York University
Kearny, NJ
UNITED STATES
Tim Geisler
Institut für Informatik
Universität München
München, Germany
Thomas Genet
IRISA
Rennes, France
Lilia Georgieva
Department of Computer Science
Heriot-Watt University
Glasgow, Scotland, U.K.
Silvio Ghilardi
Dipartimento di Scienze dell'Informazione
Università degli Studi di Milano
Milano, Italy
Martin Giese
Department of Informatics
University of Oslo
Oslo, Norway
Jürgen Giesl
Fachbereich Informatik
RWTH Aachen
Aachen, Germany
Enrico Giunchiglia
DIST
Università di Genova
Genova, Italy
Fausto Giunchiglia
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
Isabelle Gnaedig
LORIA & INRIA Lorraine
Nancy, France
Guillem Godoy
Universidad Politecnica de Catalunya
Lleida, Spain
Evgueni Goldberg
Cadence Berkeley Laboratories
Berkeley, California, U.S.A.
Georges Gonthier
Microsoft Research Cambridge
Cambridge, U.K.
Keith Goolsbey
Cycorp, Inc.
U.S.A.
Rajeev Gore
Research School of Information Sciences and Engineering
Australian National University
Canberra, Australia
Wolfgang Görigk
Institut für Informatik
Christian Albrechts Universität Kiel
Kiel, Germany
Alexey Gotsman
University of Cambridge
Cambridge, U.K.
Hanne Gottliebsen
Department of Computer Science
Queen Mary, University of London
London, U.K.
Georg Gottlob
Technische Universität Wien
Wien, Austria
Jean Goubault-Larrecq
Laboratoire Spécification et Vérification
ENS de Cachan
Cachan, France
Jeremy Gow
Division of Informatics
University of Edinburgh
Edinburgh, Scotland, U.K.
Erich Grädel
Math. Grundlagen der Informatik
RWTH Aachen
Aachen, Germany
Grabmayer Clemens
Utrecht University
Netherlands
Bernhard Gramlich
Institut für Computersprachen
Technische Universität Wien
Wien, Austria
Cordell Green
Kestrel Institute
Palo Alto, California, U.S.A.
George R. Greene Jr.
Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, North Carolina, U.S.A.
Benjamin B. Gregoire
INRIA
Sophia-Antipolis, France
E. Pascal Gribomont
Institut Montefiore
Université de Liege
Liege, Belgium
Alberto Griggio
University of Trento
Italy
Siegmar Grohmann
Mainz, Germany
Jan Friso Groote
Department of Computer Science
Eindhoven University of Technology
The Netherlands
Klaus Grue
DIKU
Copenhagen, Denmark
Jim Grundy
Intel Corporation
Hillsboro, Oregon, U.S.A.
Louis-Julien Guillemette
Université de Montréal
Montréal Québec, Canada
Sumit Gulwani
Department of Computer Science
University of California at Berkeley
Berkeley, California, U.S.A.
Elsa Gunter
Department of Computer Science
Universtiy of Illinois at Urbana-Champaign
Urbana, Illinois, U.S.A.
Harald Gurres
AG Grundlagen der Programmierung
Universität Kaiserslautern
Kaiserslautern, Germany
Claudio Gutierrez
Department of Computer Science
Universidad de Chile
Santiago, Chile
Volker Haarslev
Department of Computer Science
Concordia University
Canada
Hashim Habiballa
Prirodovedecka fakulta
Ostravska Univerzita
Ostrava, Czech Republic
Reiner Hähnle
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
John Halleck
Office of Information Technology, Systems and Applications
University of Utah
Utah, U.S.A.
Makoto Hamana
LFCS
University of Edinburgh
Edinburgh, Scotland, U.K.
Dennis E. Hamilton
NuovoDoc
Seattle, Washington, U.S.A.
Geoff Hamilton
School of Computing
Dublin City University
Dublin, Ireland
Omar Hammamami
ENSTA
France
Paul Hankes Drielsma
ETH Zurich
Zurich, Switzerland
Robert Hanmer
Lucent Technologies
Illinois, USA
Christian M. Hansen
University of Oslo
Oslo, Norway
Jens Happe
School of Computing Science
Simon Fraser University
Burnaby, Canada
Masateru Harao
Department of Artificial Intelligence
Kyushu Institute of Technology
Kawazu, Iizuka, Japan
Therese Hardin
Laboratoire d'Informatique de Paris 6
Université Pierre et Marie Curie
Paris, France
James Anthony Harland
Department of Computer Science
Royal Melbourne Institute of Technology
Melbourne, Victoria, Australia
Paul Haroun
School of Computer Science
McGill University
Montreal, Quebec, Canada
John R. Harrison
Intel Corporation
Hillsboro, Oregon, U.S.A.
Osman Hasan
Concordia University
Montreal, Quebec, Canada
Ryuzo Hasegawa
Kyushu University
Kasuga, Fukuoka, Japan
Lifeng He
Faculty of Information Science and Technology
Aichi Prefectural University
Aichi, Japan
Emmanuel Hebrard
University College Cork
Cork, Ireland
Juan Heguiabehere
Universiteit Amsterdam
Amsterdam, The Netherlands
Samuli Heilala
School of Computer Science
McGill University
Montreal, Canada
Joseph Hendrix
University of Illinois, Urbana
Urbana, Illinois, U.S.A.
Laurent Henocque
LSIS - UMR CNRS
Marseille, France
Larry Henschen
Department of Electrical Engineering and Computer Science
Northwestern University
Chicago, Illinois, U.S.A.
C. Ward Henson
Department of Mathematics
University of Illinois at Urbana-Champaign
Urbana, Illinois, U.S.A.
Miki Hermann
LIX, Ecole Polytechnique
Paris, France
Carl Hewitt
Aptos, California, U.S.A.
Jason Hickey
California Institute of Technology
Pasadena, California, U.S.A.
Maria-Jose Hidalgo Doblado
Departmento de Ciencias de la Computacion e Inteligencia Artificial
Universidad de Sevilla
Sevilla, Spain
Thomas Hillenbrand
Max-Planck-Institut für Informatik
Saarbrücken, Germany
Timothy Hinrichs
Department of Computer Science
University of Chicago
Chicago, U.S.A.
Sachio Hirokawa
Computing and Communications Center
Kyushu University
Hakozaki, Fukuoka, Japan
Harald Hiss
Institut für Informatik
University of Freiburg
Freiburg, Germany
Jan Hladik
Theoretische Informatik
Technische Universitaet Dresden
Dresden, Germany
Joshua Hodas
Department of Computer Science
Harvey Mudd College
Claremont, California, USA
Steffen Hölldobler
Fakultät Informatik
Technische Universität Dresden
Dresden, Germany
Robert Hoffman
Humble, Texas, USA
Peter Höfner
University of Sheffield
Sheffield, United Kingdom
Bjarne Holen
University of Oslo
Oslo, Norway
Melvin R. Holmes
Department of Mathematics
Boise State University
Boise, Idaho, U.S.A.
Peter V. Homeier
US Department of Defense
Mountain View, California, U.S.A.
Arjen Hommersom
Radboud University Nijmegen
Nijmegen, The Netherlands
Helmut Horacek
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Ales Horak
Masaryk University
Brno, Czech Republic
Matthias Horbach
Universität des Saarlandes
Saarbrücken, Germany
Ian Horrocks
Department of Computer Science
The University of Manchester
Manchester, England, U.K.
Joseph D. Horton
Faculty of Computer Science
University of New Brunswick
Fredericton, New Brunswick, Canada
Douglas J. Howe
School of Computer Science
Carleton University
Ottawa, Ontario, Canada
Jieh Hsiang
Department of Computer Science and Information Engineering
National Taiwan University
Taipei, Taiwan
Jeffrey Hudack
Rome, New York, USA
Gerard Huet
INRIA-Rocquencourt
Paris, France
Warren A. Hunt Jr.
University of Texas at Austin
Austin, Texas, USA
Joe Hurd
Galois, Inc.
Portland
Ullrich Hustadt
Department of Computer Science
University of Liverpool
Liverpool, England, U.K.
Dieter Hutter
DFKI
Universität des Saarlandes
Saarbrücken, Germany
Carsten Ihlemann
Max Planck Institut für Informatik
Saarbrücken, Germany
Hyeonseung Im
Pohang University of Science and Technology
Korea (south)
Tom In der Rieden
Saarland University
Saarbruecken, Germany
Andrew Ireland
Department of Computing and Electrical Engineering
Heriot-Watt University
Edinburgh, Scotland, U.K.
David Israel
Artificial Intelligence Center
SRI International
Menlo Park, California, U.S.A.
Koji Iwanuma
Department of Computer Science and Media Engineering
Yamanashi University
Yamanashi, Japan
Daniel Jackson
Laboratory for Computer Science
Massachusetts Institute for Technology
Cambridge, Massachusetts, U.S.A.
Paul B. Jackson
Department of Computer Science
University of Edinburgh
Edinburgh, Scotland, U.K.
Swen Jacobs
Max-Planck-Institut für Informatik
Saarbrücken, Germany
Florent Jacquemard
INRIA
ENS de Cachan
Cachan, France
Jan Jakubuv
Charles University
Prague, Czech Republic
Jerry James
Dept of Computer Science
Utah State University
Logan, Utah, U.S.A.
Mateja Jamnik
Computer Laboratory
The University of Cambridge
Cambridge, England, U.K.
Predrag Janicic
Department of Computer Science
Faculty of Mathematics
Belgrade, Yugoslavia
Mathieu Jaume
Université Paris 6/LIP6
Paris, France
Tudor Jebelean
Institut RISC
Hagenberg, Austria
Thomas Jech
Department of Mathematics
Pennsylvania State University
University Park, Pennsylvania, U.S.A.
Boris Jerkunica
Atlanta, Georgia, U.S.A.
Moa K. Johansson
University of Edinburgh
Edinburgh, U.K.
Thomas Käufl
Institut für Logik, Komplexitat und Deduktionssysteme
Universität Karlsruhe
Karlsruhe, Germany
Vineet Kahlon
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas, U.S.A.
Cezary Kaliszyk
Radboud University
Nijmegen, The Netherlands
Sara Kalvala
University of Warwick
United Kingdom
Jaap Kamps
Institute for Logic, Language and Computation
Universiteit Amsterdam
Amsterdam, the Netherlands
Ken Kaneiwa
Foundations of Informatics Research Division
National Institute of Informatics (NII)
Tokyo, Japan
Deepak Kapur
Department of Computer Science
University of New Mexico
Albuquerque, New Mexico, U.S.A.
Matt Kaufmann
Advanced Micro Devices
Austin, Texas, U.S.A.
Yevgeny Kazakov
Oxford University Computing Laboratory
Oxford, U.K.
Manfred Kerber
School of Computer Science
The University of Birmingham
Birmingham, England, U.K.
Richard Kieburtz
Department of Computer Science and Engineering
Oregon Graduate Institute
Beaverton, Oregon, U.S.A.
Han Joon Kim
University of Seoul
Seoul, Korea
Claude Kirchner
INRIA Bordeaux - Sud-Ouest
Bordeaux, France
Hélène Kirchner
INRIA Bordeaux - Sud-Ouest
Bordeaux, France
Francis Klay
France Telecom R&D
Lannion, France
Vladimir Klebanov
University Koblenz
Koblenz, Germany
Gerwin Klein
National ICT Australia
University of New South Wales
Sydney, Australia
Hans Kleine Büning
Universität Paderborn
Paderborn, Germany
Ondrej Klima
Department of Mathematics
Masaryk University
Brno, Czech Republic
Michael Kohlhase
School of Engineering and Science
Javobs University Bremen
Bremen, Germany
Alexander Koller
Universität des Saarlandes
Saarbrücken, Germany
Phokion Kolaitis
Department of Computer and Information Sciences
University of California at Santa Cruz
Santa Cruz, California, U.S.A.
Boris Konev
Department of Computer Science
University of Liverpool
Liverpool, England, United Kingdom
Adam Koprowski
Eindhoven University of Technology
Eindhoven, The Netherlands
Konstantin Korovin
University of Manchester
Manchester
UK
Thumrongsak Kosiyatrakul
Syracuse University
Syracuse, New York
U.S.A.
Laura Kovacs
Johannes Kepler University
Linz, Austria
Ryszard Kowalczyk
CSIRO Mathematical and Information Sciences
Carlton, Victoria, Australia
Robert Kowalski
Department of Computing
Imperial College
London, England, U.K.
David J. Krassen
Warminster, Pennsylvania, U.S.A.
Alexander Krauss
TU Munich
Institut für Informatik
Munich, Germany
Christoph Kreitz
Department of Computer Science
Cornell University
Ithaca, New York, U.S.A.
Martin Korp
University of Innsbruck
Innsbruck, Austria
Adam Koprowski
Thijmstraat 17
Eindhoven
Netherlands
Sava Krstic
Department of Computer Science and Engineering
Oregon Health and Science University
Beaverton, Oregon
U.S.A.
Evgeny Kruglov
Saarland University
Germany
Daniel Kühlwein
University of Bonn
Germany
Viktor Kuncak
Swiss Federal Institute of Technology (EPFL)
School of Computer & Communications Sciences
Lausanne, Switzerland
Teimuraz (Temur) Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University
Linz, Austia
Gi-Hwon Kwon
Kyonggi University
Dept. of Computer Science
Suwon-si, Kyonggi-do, South Korea
Askanaz Kyureghyan
State Engineering University of Armenia
Yerevan, Armenia
Shuvendu Lahiri
Microsoft Research
United States of America
Dominique Larchey-Wendling
LORIA & Université Henri Poincaré
Nancy, France
Daniel Larsson
Chalmers University of Technology
Göteborg, Sweden
Peter Lee
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Shie-Jue Lee
Department of Electrical Engineering
National Sun Yat-Sen University
Kaohsiung, Taiwan
K. Rustan M. Leino
Microsoft Research
Redmond, USA
Alexander Leitsch
Institut für Computersprachen 185/2
Technische Universität Wien
Wien, Austria
Lengrand
CNRS
France
Stephane J.E Lengrand
University of St. Andrews
St. Andrews, U.K.
Elizabeth I. Leonard
Naval Research Laboratory
Washington, DC, U.S.A.
Pierre Lescanne
Ecole Normale Supérieure
Lyon, France
Reinhold Letz
München, Germany
Martin Leucker
TU Munich
Institute of Informatics
Garching, Germany
Tal Lev-Ami
School of Computer Science
Tel-Aviv University
Tel-Aviv, Israel
Jordi Levy
Universidad Polytecnica de Catalunya
Barcelona, Spain
Dafa Li
Department of Applied Mathematics
Tsinghua University
Beijing, China
Lei Li
Computer Science Department
University of Manchester
Zhiyao Liang
University of Houston
Houston, Texas, U.S.A.
Ann Liliestroem
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Carla Limongelli
Dipartimento di Informatica e Automazione
Università di Roma Tre
Roma, Italy
Hai Lin
Department of Mathematics and Computer Science
Clarkson University
Potsdam, New York, U.S.A.
Patrick Lincoln
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
Jun Liu
School of Computing and Mathematics
University of Ulster at Jordanstown
Northern Ireland, U.K.
Sheng Liu
Institute of Software
Chinese Academy of Sciences
Zhiqiang Liu
Clarkson University
United States of America
Bernd Löchner
Technische Universität Kaiserslautern
Kaiserslautern, Germany
Markus Lohrey
Institut für Informatik
Universität Stuttgart
Stuttgart, Germany
Goncalo C. Lopes
Faculdade de Ciencias e Tec da UNL
Lisbon, Portugal
Raul Lopes
Universidade Federal De Espirito Santo
Vitoria, Brazil
Lori A. Lorigo
Department of Computer Science
Cornell University
Ithaca, New York, U.S.A.
William Lovas
Carnegie Mellon University
Pittsburgh, U.S.A.
Donald Loveland
Department of Computer Science
Duke University
Durham, North Carolina, U.S.A.
Michael Lowry
NASA Ames Research Center
Moffett Field, California, U.S.A.
Eliezer Lozinski
The Hebrew University
Jerusalem, Israel
Salvador Lucas
D.S.I.C.
Universidad Politecnica de Valencia
Valencia, Spain
Michel Ludwig
University of Liverpool
United Kingdom
Christoph Lüth
Fachbereich Informatik
Universität Bremen
Bremen, Germany
Denis Lugiez
LIM
Université de Marseille
Marseille, France
Zhaohui Luo
Royal Holloway, Univ of London
United Kingdom
Ewing Lusk
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, Illinois, U.S.A.
Carsten Lutz
Inst for Theoretical Computer Science
TU Dresden
Dresden, Germany
Christopher Lynch
Department of Mathematics and Computer Science
Clarkson University
Potsdam, New York, U.S.A.
Feifei Ma
Institute of Software
Chinese Academy of Sciences
China
Wendy MacCaull
Department of Mathematics, Statistics and Computer Science
St. Francis Xavier University
Antigonish, Nova Scotia, Canada
Assia Mahboubi
Computer Science Lab
Ecole Polytechnique (LIX)
Klaus Madlener
Fachbereich Informatik
Universität Kaiserslautern
Kaiserslautern, Germany
Victor Makarov
Brooklyn, New York, U.S.A.
Yevgeniy Makarov
Indiana University
Computer Science Dept
Bloomington, Indiana, U.S.A.
Sharad Malik
Department of Electrical Engineering
Princeton University
Princeton New Jersey, U.S.A.
E. H. Mamdani
Department of Electrical and Electronic Engineering
Imperial College of Science Technology and Medicine
London, England, U.K.
Zohar Manna
Department of Computer Science
Stanford University
Palo Alto, California, U.S.A.
Panagiotis Manolios
College of Computing
Georgia Institute of Technology
Atlanta, Georgia, U.S.A.
Heiko Mantel
Theoretical Computer Science - FMIS
TU Darmstadt
Darmstadt, Germany
Claude Marché
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France
Joao Marcos
Department of Informatics and Applied Mathematics
Federal University of Rio Grande do Norte
Natal RN, Brazil
Prof. Dr. Ing. Tiziana Margaria
Head of the Group "Service Engineering for Distributed Systems"
Institute for Informatics
University of Goettingen
Goettingen, Germany
Joseph Marr
Vienna, Virginia, U.S.A.
Johan Martensson
Safelogic AB
Sweden
Alan Martin
University of Ottawa
Ottawa, Canada
Andrew Martin
Software Engineering Centre
Oxford University
Oxford, England, U.K.
Francisco-Jesús Martín-Mateos
Departmento de Ciencias de la Computacion e Inteligencia Artificial
Universidad de Sevilla
Sevilla, Spain
Fabio Massacci
Dipartimento di Informatica e Telecomunicazioni
Università degli Studi di Trento
Trento, Italy
Philippe Mathieu
LIFL
U.S.T.L.
Villeneuve d'Ascq, France
Roman Matuszewski
Mizar Project
University of Bialystok, Poland
Otto Mayer
Fachbereich Informatik
Universität Kaiserslautern
Kaiserslautern, Germany
Laurent Mazare
VERIMAG
Gieres, France
L. Thorne McCarty
Department of Computer Science
Rutgers University
New Brunswick, New Jersey, U.S.A.
Roy McCasland
Division of Informatics
University of Edinburgh
Edinburgh, Scotland, United Kingdom
William W. McCune
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, Illinois, U.S.A.
Sean McLaughlin
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Ralph McGregor
Department of Mathematics and Computer Science
Clarkson University
Potsdam, New York, U.S.A.
Nicholas McPhee
Division of Science and Mathematics
University of Minnesota at Morris
Morris, Minnesota, U.S.A.
Catherine A. Meadows
Naval Research Laboratory
Washington, DC, U.S.A.
Inmaculada Medina Bulo
Dpto. Lenguajes y Sistemas Informàticos
Escuela Superior de Ingenierìa de Càdiz
Càdiz, Spain
Farhad Mehta
ETH-Zentrum
Zurich, Switzerland
Erica Melis
DFKI Saarbrücken
Saarbrücken, Germany
Guillaume Melquiond
INRIA - Microsoft Research
Orsay, France
Jia Meng
National ICT Australia
Canberra, Australia
Daniel Méry
LORIA & Université Henri Poincaré
Nancy, France
Stephan Merz
INRIA
Nancy, France
José Meseguer
Department of Computer Science
University of Illinois at Urbana Champaign
Urbana, Illinois, U.S.A.
Robert K Meyer
Computer Science Lab
College of Engineering & Computer Science
The Australian National University
Canberra, Australia
Aart Middeldorp
Institute of Computer Science
University of Innsbruck
Innsbruck, Austria
Dale Miller
Laboratoire d'Informatique, LIX
Ecole Polytechnique
Paris, France
John Minor
Department of Computer Science
University of Las Vegas
Las Vegas, Nevada, U.S.A.
Grigori Mints
Department of Philosophy
Stanford University
Palo Alto, California, U.S.A.
Alexander Mitev
Aries Design Automation
Chicago, IL, U.S.A.
Ogawa Mizuhito
JAIST
Ishikawa, Japan
Wojciech Moczydlowski
Cornell University
Ithaca, New York, U.S.A.
Sebastian Mödersheim
ETH Zurich
Zurich, Switzerland
Jesper Blak Moller
Department of Innovation
IT University of Copenhagen
Copenhagen, Denmark
Alberto Momigliano
Department of Philosophy
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Anthony Monnet
Chalmers Université du Québec à Montréal
Canada
Christof Monz
Institute for Logic, Language and Computation
Universiteit Amsterdam
Amsterdam, the Netherlands
J Strother Moore
Department of Computer Science
University of Texas at Austin
Austin, Texas, U.S.A.
Barbara Morawska
TU Dresden
Germany
Edward Morehouse
Wesleyan
U.S.A
Georg Moser
University of Innsbruck
Institute of Computer Science
Innsbruck, Austria
Michal Moskal
European Microsoft Innovation Center
Germany
Till Mossakowski
DFKI Lab Bremen
Bremen, Germany
Wojciech Mostowski
Radboud University Nijmegen
Nijmegen, Netherlands
Roderick Moten
Department of Computer Science
Colgate University
Hamilton, New York, U.S.A.
Boris Motik
The University of Manchester
United Kingdom
Flávio Moura
Universidade de Brasilia
Dominic Mulligan
Heriot-Watt University, Edinburgh
United Kingdom
Cesar A. Munoz
NASA Langley Research Center
Hampton, Virginia, U.S.A.
Hirokazu Murao
Univ. Electro-Communications
Japan
Neil V. Murray
Department of Computer Science
State University of New York at Albany
Albany, New York, U.S.A.
Derege H. Mussa
Department of Mathematics and Statistics
Hunter College
City University of New York
New York, New York, U.S.A.
Madan S. Musuvathi
Microsoft Research
Redmond, Washington, U.S.A.
Dale Myers
Department of Mathematics
University of Hawaii
Honolulu, Hawaii, U.S.A.
Nikos Mylonakis
Universitat Polytècnica de Catalunya
Barcelona, Spain
Gopalan Nadathur
Department of Computer Science and Engineering
University of Minnesota
Minneapolis, Minnesota, U.S.A.
Daniel Nagle
University of Limierck
Limerick, Ireland
Julien Narboux
University Louis Pasteur, Strasbourg
France
Paliath Narendran
Department of Computer Science
State University of New York at Albany
Albany, New York, U.S.A.
Juan Antonio Navarro Perez
University of Manchester
United Kingdom
Bob Neveln
Computer Science Department
Widener University
Chester, Pennsylvania, U.S.A.
Monty Newborn
School of Computer Science
McGill University
Montréal, Quebec, Canada
Linh Anh Nguyen
University of Warsaw
Poland
Hanno Nickau
Oxford University
UK
Enrica Nicolini
LORIA & INRIA-Lorraine
Nancy, France
Marianna Nicolosi
University of Catania
Catania, Italy
Joachim Niehren
INRIA Futurs
Villeneuve d'Ascq, France
Ilkka Niemela
Helsinki University of Technology
Helsinki, Finland
Robert Nieuwenhuis
Universidad Polytecnica de Catalunya
Barcelona, Spain
Tobias Nipkow
Institut für Informatik
Technische Universität München
München, Germany
Aleksey Nogin
California Institute of Technology
Pasadena, California, U.S.A.
Andreas Nonnengart
German Research Center for Artificial Intelligence
Saarbrücken, Germany
Michael Norrish
National ICT Australia Ltd
Canberra, Australia
Jean-Marc Notin
LORIA & Université Henri Poincaré
Nancy, France
Claudia Obermaier
Universität Koblenz-Landau
Koblenz, Germany
Leo Obrst
The MITRE Corporation, Information Semantics
Center for Innovative Computing & Informatics
McLean, Virginia, USA
Steven Obua
Technische Universität München
Munchen, Germany
Hans Jürgen Ohlbach
Institut für Informatik
Ludwig-Maximilians-Universität München
München, Germany
Hitoshi Ohsaki
National Institute of Advanced Industria
Japan
Manuel Ojeda Aciego
Departamento de Matematica Aplicada
Universidad de Malaga
Malaga, Spain
Joe O'Keeffe
LeTSystems
Ireland
Alberto Oliart
Laboratorio Nacional de Informatica Avanzada A.C. (LANIA)
Xalapa, Ver., Mexico
Albert Oliveras
Technical University of Catalunya
Barcelona, Spain
Nicola Olivetti
Université Paul Cézanne
LSIS
Marseille, France
Michael Olumide
Cheffbol Nigeria LImited
Nigeria
Barry O'Sullivan
Department of Computer Science
University College Cork
Cork, Ireland
Barry O'Sullivan
Department of Computer Science
University College Cork
Cork, Ireland
Jan Otop
University of Wrocław
Wrocław, Poland
Jens Otten
University of Potsdam
Potsdam, Gernamy
Jules Oudmans
UReason Holding BV
Leiden, The Netherlands
James P. Owens
Clarkson Univeristy
U.A.S.
Leszek Pacholski
Wroclaw University
Wroclaw, Poland
R. Padmanabhan
Department of Mathematics
University of Manitoba
Winnipeg, Manitoba, Canada
Francisco Palomo Lozano
Dpto. Lenguajes y Sistemas Informàticos
Escuela Superior de Ingenierìa de Càdiz
Càdiz, Spain
Guoqiang Pan
Department of Computer Science
Rice University
Houston, Texas, U.S.A.
Jeff Pan
Computer Science Department
University of Manchester
Manchester, England, U.K.
Sudhindra Pandav
Department of Computer Science
The University of Utah
Utah, U.S.A.
Sungwoo Park
Pohang University of Science and Technology
Korea (south)
William Pase
Armacode Incorporated
Ottawa, Ontario, Canada
Grant Olney Passmore
LFCS, University of Edinburgh
United Kingdom
Dominique Pastre
Crip5 - UFR de Mathématiques et Informatique
Université Réné Descartes
Paris, France
Peter Patel-Schneider
AT&T Bell-Labs
Murray Hill, New Jersey, U.S.A.
Lawrence Paulson
Computer Laboratory
University of Cambridge
Cambridge, England, U.K.
Siani Pearson
Hewlett Packard Laboratories
Bristol, England, U.K.
Adam Pease
Articulate Software
Angwin, U.S.A.
Jeff Pelletier
Simon Fraser University
Burnaby, British Columbia, Canada
Nicolas Peltier
Laboratoire LEIBNIZ-IMAG
Grenoble, France
Björn Pelzer
Universität Koblenz-Landau
Koblenz, Germany
Karl-Heinz Pennemann
Universität Oldenburg
Oldenburg, Germany
Uwe Petermann
Fachbereich IMN
HTWK-Leipzig
Leipzig, Germany
Frank Pfenning
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Reinhard Pichler
Institut für Computersprachen
Technische Universität Wien
Wien, Austria
Brigitte Pientka
McGill University
Montreal, Quebec, Canada
Gail Pieper
Argonne National Laboratory
Mathematics and Computer Science Division
Laurence Pierre
Université de Provence
Marseille, France
Cédric Piette
Université d'Artois
France
Ruzica Piskac
Swiss Federal Institute of Technology (EPFL)
Andrew Pitts
Computer Laboratory
University of Cambridge
Cambridge, England, U.K.
David A. Plaisted
Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, North Carolina, U.S.A.
Andre Platzer
Carnegie Mellon University
U.S.A.
Amir Pnueli
Weizmann Institute of Science
Israel
Andreas Podelski
MPI Saarbrücken
Saarbrücken, Germany
John Pollock
University of Arizona
Tucson, Arizona, U.S.A.
Loic Pottier
INRIA Sophia-Antipolis
Sophia-Antipolis, France
Ian Pratt-Hartmann
Department of Computer Science
The University of Manchester
Manchester, England, U.K.
Norbert Preining
Technische Universität Wien
Wien, Austria
Thomas Pressburger
NASA Ames Research Center
Moffett Field, California, U.S.A.
Gregory W. Price
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Tim Priesnitz
Programming Systems Lab
Universität des Saarlandes
Saarbrücken, Germany
Martin Protzen
sd&m AG - Niederlassung Bonn
Troisdorf, Germany
Petr Pudlak
Charles University
Prague, Czech Republic
Yury L. Puzis
University of Miami
Miami, Florida, U.S.A.
David J. Pym
Department of Computer Science
University of Bath
Bath, England, U.K.
Shaz Qadeer
Microsoft Research
U.S.A
Art Quaife
San Jose, California, U.S.A.
Pedro Quaresma de Almeyda
Departamento de Matemática
Universidade de Coimbra
Coimbra, Portugal
Florian Rabe
International University Bremen
Germany
Raja N.
School of Technology and Computer Science
Tata Institute of Fundamental Research
Mumbai, India
Silvio Ranise
LORIA et INRIA-Lorraine
Villers les Nancy, France
Aarne Ranta
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Francesco Ranzato
Dipartimento di Matematica e Informatica
Università degli Studi di Padova
Padova, Italy
Thomas Raths
Universität Potsdam
Potsdam, Germany
Sandip Ray
University of Texas at Austin
Austin, Texas, U.S.A.
Nicolas Rayner
Portland State University
Portland, Oregon, U.S.A.
Erik H. Reeber
University of Texas at Austin
Austin, Texas, U.S.A.
Wolfgang Reif
Institut für Informatik
Universität Augsburg
Augsburg, Germany
Fermin Reig
School of Computer Science
University of Nottingham
Nottingham, England, U.K.
Hilverd Reker
The University of Manchester
United Kingdom
Anja Remshagen
Department of Computer Science
State University of West Georgia
Carrollton, Georgia, U.S.A.
Wilmer Ricciotti
Università di Bologna
Dipartimento di Scienze dell'Informazione
Italy
John F. Richardson
NRAD
San Diego, California, U.S.A.
Jacques Riche
Department of Computer Science
Katholieke Universiteit Leuven
Anderlues, Belgium
Clemens Richter
Vienna University of Technology
Vienna, Austria
Eva Richter
Potsdam University
Potsdam, Germany
Martin Rinard
MIT
United States of America
Christophe Ringeissen
LORIA & INRIA-Lorraine
Villers-Les-Nancy, France
Peter John Robinson
School of Information Technology
The University of Queensland
Brisbane, Queensland, Australia
Enric Rodriguez Carbonell
Universitat Politècnica de Catalunya
Barcelona, Spain
André Rognes
Oslo, Norway
Erik Rosenthal
Department of Mathematics
University of New Haven
West Haven, Connecticut, U.S.A.
Robert Rothenberg
University of St Andrews
Scotland, UK
Nicolas F. Rouquette
Jet Propulsion Laboratory / NASA
California Institute of Technology
Pasadena, California, U.S.A.
Marianna Rozenfeld
CSLI
Stanford University
Stanford, California, U.S.A.
Albert Rubio
Departamento LSI
Universitat Polytècnica de Catalunya
Barcelona, Spain
Piotr Rudnicki
Department of Computing Science
University of Alberta
Edmonton, Alberta, Canada
Philipp Rümmer
Oxford University Computing Laboratory
Oxford, UK
Harald Ruess
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
Jose-Luis Ruiz Reina
Departmento de Ciencias de la Computacion e Inteligencia Artificial
Universidad de Sevilla
Sevilla, Spain
Michäel Rusinowitch
LORIA & INRIA-Lorraine
Nancy, France
Lakhdar Sais
CRIL
IUT de Lens
Lens, France
Nikita Sakhanenko
Department of Computer Science
University of New Mexico
Albuquerque, New Mexico, U.S.A.
Yakoub Salhi
LORIA - UHP Nancy1
Nancy, France
Gernot Salzer
Technische Universität Wien
Wien, Austria
William Sandberg-Maitland
Spyrus Inc.
Ottawa, Ontario, Canada
Susmit Sarkar
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Ulrike Sattler
Department of Computer Science
University of Manchester
Manchester, England, U.K.
Marco Schaerf
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
Roma, Italy
Torsten Schaub
Institut für Informatik
Universität Potsdam
Potsdam, Germany
Richard Scherl
Computer Science Department
Monmouth University
West Long Branch, New Jersey, U.S.A.
Steffen Schlager
Institut für Logik, Komplexitat und Deduktionssysteme
Fakultät für Informatik
Universität Karlsruhe
Karlsruhe, Germany
Andreas Schlosser
TU Darmstadt
Darmstadt, Germany
Robert Schneck
Department of Mathematics
University of California at Berkeley
Berkeley, California, U.S.A.
Julien Schmaltz
Saarland University
Saarbruecken, Germany
Renate A. Schmidt
Department of Computer Science
University of Manchester
Manchester, England, U.K.
Tobias Schmidt-Samoa
Fachbereich Informatik
Universität Kaiserslautern
Kaiserslautern, Germany
Manfred Schmidt-Schauss
Fachbereich Informatik
J. W. Goethe Universität
Frankfurt am Main, Germany
Peter H. Schmitt
Institut für Logik, Komplexitat und Deduktionssysteme
Universität Karlsruhe
Karlsruhe, Germany
Peter Schneider-Kamp
University of Southern Denmark
Denmark
Pierre-Yves Schobbens
Université Notre-Dame de la Paix
Namur, Belgium
Dewey Val Schorre
Ojai, California, U.S.A.
Carsten Schürmann
IT University of Copenhagen
Denmark
Klaus U. Schulz
CIS
Universität München
München, Germany
Stephan Schulz
Fakultät für Informatik
Technische Universität München
München, Germany
Heribert Schultz
Institut für Informatik
Technische Universität München
München, Germany
Johann Schumann
RIACS/NASA Ames
Moffett Field, California, U.S.A.
Christoph Schwarzweller
Wilhelm Schickard Institut für Informatik
Universität Tübingen
Tübingen, Germany
Dana Scott
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Roberto Sebastiani
DISA
Università di Trento
Trento, Italy
Bart Selman
Department of Computer Science
Cornell University
Ithaca, New York, U.S.A.
Franck Seynhaeve
LIFL
U.S.T.L.
Villeneuve d'Ascq, France
Nimish Shah
England
Natarajan Shankar
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
Natasha Sharygina
Univerity of Lugano
Switzerland
Rob Shearer
University of Manchester
United Kingdom
Guy Shefner
Bellevue, WA, USA
Benjamin Shults
Math and CS Department
Bethel University
St. Paul, Minnesota, U.S.A.
Jörg Siekmann
DFKI
Universität des Saarlandes
Saarbrücken, Germany
Luis Sierra
Universidad de la Republica
Montevideo, Uruguay
Laurent Simon
Laboratoire de Recherche en Informatique
Université de Paris-Sud
Orsay, France
Donald L. Simon
Department of Mathematics and Computer Science
Duquesne University
Pittsburgh, Pennsylvania, U.S.A.
David Sinclair
Dublin City University
Dublin, Ireland
Alex Sinner
IIIA-CSIC
Spain
Michel Sintzoff
Université Catholique de Louvain
Louvain-la-Neuve, Belgium
Carsten Sinz
Wilhelm Schickard Institut für Informatik
Universität Tübingen
Tübingen, Germany
Sebastian Skalberg
Institut für Informatik
Technische Universität München
München, Germany
John Slaney
Automated Reasoning Project
Australian National University
Canberra, Australia
Piercarlo Slavazza
Dipartimento di Scienze dell'Informazione
Universita' degli Studi di Milano
Milano, Italy
Konrad Slind
University of Utah
Salt Lake City, U.S.A.
Douglas Smith
Kestrel Institute
Palo Alto, California, U.S.A.
Rolf Socher-Ambrosius
Emden, Germany
Fran Soddell
Division of Information Technology
La Trobe University
Bendigo, Victoria, Australia
Niklas Sörensson
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
Viorica Sofronie
Max Planck Institut für Informatik
Saarbrücken, Germany
Fabio Somenzi
University of Colorado
Boulder, Colorado, U.S.A.
Rick Sommer
EPGY
Stanford, California, U.S.A.
Harald Sondergaard
Department of Computer Science
The University of Melbourne
Parkville, Victoria, Australia
Volker Sorge
University of Birmingham
Birmingham, England, United Kingdom
Elie Soubiran
Université Paris Diderot
France
Bruce Spencer
Faculty of Computer Science
University of New Brunswick
Fredericton, New Brunswick, Canada
Arnaud Spiwack
ENS Cachan
Gif sur Yvette, France
Siddharthÿ Srivastava
University of Massachusetts, Amherst
Amherst, Massachusetts, U.S.A.
Zbigniew Stachniak
Department of Computer Science
York University
Toronto, Ontario, Canada
Gem Stapleton
University of Brighton
Brighton, England, U.K.
Graham Steel
University of Genova
Genova, Italy
Gernot Stenz
Institut für Informatik
Technische Universität München
München, Germany
Kurt Stenzel
Institut für Informatik
Universität Augsburg
Augsburg, Germany
Werner Stephan
DFKI
Saarbrücken, Germany
Mark E. Stickel
Artificial Intelligence Center
SRI International
Menlo Park, California, U.S.A.
Colin Stirling
School of Informatics
University of Edinburgh
Edinburgh, U.K.
Frieder Stolzenburg
Fachbereich Automatisierung und Informatik
HS Harz (Univ. of Applied Sciences)
Wernigerode, Germany
Allen Stoughton
Department of Computing and Information Sciences
Kansas State University
Manhattan, Kansas, U.S.A.
Sorin Stratulat
INRIA-Lorraine
Villers les Nancy, France
Martin Strecker
Université Paul Sabatier
Toulouse, France
Christina Striegnitz
Universität des Saarlandes
Saarbrücken, Germany
Georg Struth
University of Sheffield
Sheffield, United Kingdom
Aaron D. Stump
Department of Computer Science
The University of Iowa
Iowa City, U.S.A.
K Subramani
West Virginia University
Morganstown, West Virginia, U.S.A.
Martin Suda
Charles University in Prague
Prague, Czech Republic
Frank Sudia
San Francisco, California, U.S.A.
Thomas Sudkamp
Department of Computer Science
Wright State University
Dayton, Ohio, U.S.A.
Boontawee Suntisrivaraporn
Dresden University of Technology
Dresden, Germany
Geoff Sutcliffe
Department of Computer Science
University of Miami
Miami, Florida, U.S.A.
Stephan Swiderski
RWTH - Aachen
Aachen, Germany
Wojciech Szajnkenig
Department of Informatics
University of Bergen
Bergen, Norway
Maciej Szreter
Institute of Computer Science
Polish Academy of Sciences
Warsaw, Poland
Armando Tacchella
DIST
Università di Genova
Genova, Italy
Toshinori Takai
National Institute of Advanced Industria
Japan
Tanel Tammet
Tallinn Technical University
Tallinn, Estonia
Armagan Tarim
Department of Computer Science
University of York
York, England, U.K.
Lidia Tendera
University of Opole
Opole, Poland
René Thiemann
Research Group Computer Science II
RWTH Aachen
Aachen, Germany
Andreas Thums
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institut für Informatik
Universität Augsburg
Augsburg, Germany
Josh B. Thomas
Austin, Texas, U.S.A.
Hans-Joerg Tiede
Department of Mathematics and Computer Science
Illinois Wesleyan University
Bloomington, Illinois, U.S.A.
Cesare Tinelli
Department of Computer Science
The University of Iowa
Iowa City, Iowa, U.S.A.
Dmitry Tishkovsky
Department of Computer Science
University of Manchester
Manchester, England, U.K.
Ashish Tiwari
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
David Toman
University of Waterloo
Waterloo, Ontario, Canada
Yoshihito Toyama
Research Institute of Electrical Communication
Tohoku University
Katahira, Aoba-ku, Sendai, Japan
Steven C. Trac
University of Miami
Miami, Florida, U.S.A.
Duc-Khanh Tran
Loria - Inria Lorraine
Nancy, France
Paolo Traverso
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
Ralf Treinen
Laboratoire Spécification et Vérification
École Normale Supérieure de Cachan
Cachan, France
Tomasz Truderung
LORIA-INRIA-Lorraine
Villers-Les-Nancy, France
Klaus Truemper
Computer Science Program
University of Texas at Dallas
Richardson, Texas, U.S.A.
Andrzej Trybulec
Institute of Mathematics
Warsaw University Bialystok Branch
Bialystok, Poland
Dmitry Tsarkov
University of Manchester
Manchester, U.K.
Anni-Yasmin Turhan
Theoretische Informatik
Technische Universität Dresden
Dresden, Germany
Daniele Turi
University of Manchester
Manchester, England, U.K.
Brian Turnquist
Department of Mathematics and Computer Science
Bethel College
St. Paul, Minnesota, U.S.A.
Sergey Tverdyshev
Universität des Saarlandes
Saarbrücken, Germany
Gulay Unel
University of Waterloo
Kitchener, Ontario, Canada
Xavier Urbain
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France
Christian Urban
TU Munich
Munich, Germany
Josef Urban
Charles University
Prague, Czech Republic
Matej Urbas
University of Cambrideg
Cambridge
UK
Tomàs E. Uribe
Department of Computer Science
Stanford University
Palo Alto, California, U.S.A.
Dale Vaillancourt
Northeastern University
Boston, Massachusetts, U.S.A.
Miguel Angel Vallejo
Departamento ISI
Universidad Polytecnica de Catalunya
Barcelona, Spain
Allen Van Gelder
University of California, Santa Cruz
Santa Cruz, California, U.S.A.
Vincent van Oostrom
Universiteit Utrecht
Utrecht, the Netherlands
Eric Veal
Siemens
Seattle, Washington, U.S.A.
Miroslav Velev
Aries Design Automation
Chicago, IL, U.S.A.
Konstantin Verchinine
University Paris 12
France
Kumar Neeraj Verma
Technische Universität München
München, Germany
Rakesh M. Verma
Department of Computer Science
University of Houston
Houston, Texas, U.S.A.
Robert Veroff
Department of Computer Science
University of New Mexico
Albuquerque, New Mexico, U.S.A.
Koen Vervloesem
Institute of Philosophy
Katholieke Universiteit Leuven
Belgium
Michele Vescovi
University of Trento
Italy
Ana Cristina Vieira de Melo
Department of Computer Science
University of Sao Paulo
Sao Paulo, Brazil
Luca Vigano
ETH Zurich
Zurich, Switzerland
Laurent Vigneron
LORIA & Université Nancy 2
Nancy, France
Mateu Villaret
University of Girona
Spain
Jørgen Villadsen
Informatics and Mathematical Modelling
Technical University of Denmark
Kongens Lyngby, Denmark
Eelco Visser
Universiteit Utrecht
Utrecht, the Netherlands
Frederik Voisin
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France
Andrei Voronkov
Department of Computer Science
University of Manchester
Manchester, England, U.K.
Daron Vroon
College of Computing
Georgia Institute of Technology
Atlanta, Georgia, U.S.A.
Quoc Huy Vu
Free University of Bolzano, Italy
TU Dresden, Germany
Arild Waaler
University of Oslo
Norway
Marvin E. Walden
CADManDo Company
Troy, Michigan, U.S.A.
Richard Waldinger
Artificial Intelligence Center
SRI International
Menlo Park, California, U.S.A.
Uwe Waldmann
Max Planck Institut für Informatik
Saarbrücken, Germany
Toby Walsh
Cork Constraint Computation Centre
University College Cork
Cork, Ireland
Christoph Walther
Institut für Programm und Informationssysteme
Technische Universität Darmstadt
Darmstadt, Germany
Dirk Walther
University of Liverpool
Liverpool, England, U.K.
Daria Walukiewicz-Chrzaszcz
Warsaw University
Warsaw, Poland
Marc Wagner
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Dongming Wang
Laboratoire d'Informatique de Paris 6
Université Pierre et Marie Curie
Paris, France
Zongyan Wang
School of Computer Science
McGill University
Montreal, Quebec, Canada
Grant Weddell
University of Waterloo
Waterloo, Ontario, Canada
Christoph Weidenbach
Max Planck Institut für Informatik
Saarbrücken, Germany
Volker Weispfenning
Universität Passau
Passau, Germany
Joe Wells
Department of Computer Science
Boston University
Boston, Massachusetts, U.S.A.
Ulrich Wendl
München, Germany
Benjamin Werner
INRIA
LIX
Ecole Polytechnique
Palaiseau, France
Christoph Wernhard
Universitaet Koblenz-Landau
Koblenz, Germany
Stephen J Westfold
Kestrel Institute
Palo Alto, California, U.S.A.
Bryan Whitehead
East Northport, NY, U.S.A.
Bryan Whitehead
East Northport, NY, U.S.A.
Florian Widmann
The Australian National University
Australia
Freek Wiedijk
University of Nijmegen
Nijmegen, Netherlands
Robert Jack Will
University of Toronto
Canada
Wolfgang Windsteiger
Institut RISC
Hagenberg, Austria
Victor Winter
University of Nebraska at Omaha
Omaha, Nebraska, U.S.A.
Claus-Peter Wirth
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Patrick Wischnewski
Max-Planck-Institut für Informatik
Germany
Carl Witty
Newton Research Labs
Renton, Washington, U.S.A.
Leslie Wolf
Naperville, Illinois, U.S.A.
Burkhart Wolff
ETH Zürich
Zürich, Switzerland
David A. Wolfram
Expert Information Services Pty Ltd
Melbourne, Australia
Frank Wolter
University of Liverpool
United Kingdom
Stefan Woltran
Abteilung Wissensbasierte Systeme
Technische Universität Wien
Wien, Austria
Larry Wos
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, Illinois, U.S.A.
Graham Wrightson
Department of Computer Science and Software Engineering
The University of Newcastle
Callaghan, Australia
Jia Xiangxue
Chinese Academy of Sciences
Beijing China
Keizo Yamada
Department of Artificial Intelligence
Kyushu Institute of Technology
Kawazu, Iizuka, Japan
Greta Yorsh
Tel-Aviv University
Tel Aviv, Israel
Anna Zamansky
Tel Aviv University
Tel Aviv, Israel
Hans Zantema
Technical University Eindhoven
Eindhoven, The Netherlands
Silvana Zappacosta
Department of Computing
Imperial College
London, England, U.K.
Calogero Zarba
Department of Computer Science
Stanford University
Stanford, California, U.S.A.
Doron Zeilberger
Department of Mathematics
Temple University
Philadelphia, Pennsylvania, U.S.A.
Hantao Zhang
Department of Computer Science
The University of Iowa
Iowa City, Iowa, U.S.A.
Jian Zhang
Chinese Academy of Sciences
Beijing, China
Lan Zhang
University of Liverpool
United Kingdom
Nick Zhang
Ipedo, Inc
San Jose, California, U.S.A.
Ting Zhang
Stanford University
Palo Alto, California, U.S.A.
Li Zhen
Computer Science Department
Manchester University
Manchester, England, U.K.
Xunwei Zhou
Beijing, China
Jürgen Zimmer
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Claus Zinn
Division of Informatics
University of Edinburgh
Edinburgh, Scotland, U.K.
Daniele Zucchelli
LORIA and INRIA-Lorraine
Roland Zumkeller
Ecole Polytechnique
Palaiseau, France