Andreas M. Abel
LFE Theoretische Informatik
Ludwig-Maximilians-Universität München
München, Germany
Jonathan Abourbih
Glasgow
United Kingdom
Mark Adams
Proof Technologies Ltd
UK
Robin Adams
Royal Holloway, University of London
UK
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.
Abdullah Alabdulatif
Student
UK
Jesse Alama
CENTRIA, FCT, Universidade Nova de Lisboa
Portugal
Francesco Alberti
University of Lugano
Switzerland
Geoffrey D. Alexander
IBM Corporation
Research Triangle Park, North Carolina, U.S.A.
Tariq Ali
Mohammad Ali Jinnah University
Islamabad, Pakistan
Bijan Alizadeh Malafeh
University of Tokyo
Tokyo, Japan
Guillaume Allais
Coqtail - ENS Lyon
France
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.
Siva Anantharaman
Departement d'Informatique
Université d'Orléans
Orléans, France
Jean-Marc Andreoli
Xerox Research Centre Europe
Grenoble, France
Peter B. Andrews
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Étienne André
LIPN, CNRS UMR 7030, Université Paris 13, France
France
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.
Vincent Aravantinos
Laboratory of Informatics of Grenoble
Grenoble, France
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
Mathilde Arnaud
Loria, CNRS
Vandœuvre-lès-Nancy, France
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
Alessandro Avellone
Università Milano-Bicocca
Milano, Italy
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
Mohammad Abdul Aziz
Mentor Graphics
Egypt
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
Karlsruhe Institute of Technology
Karlsruhe, Germany
Michael J. Beeson
San José State University
Aptos, California, U.S.A.
Christoph Beierle
FernUniversitaet in Hagen
Hagen, Germany
Johan G. F. Belinfante
School of Mathematics
Georgia Institute of Technology
Atlanta, Georgia, U.S.A.
Markus Bender
Universität Koblenz-Landau
Germany
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
FU Berlin
Germany
Andrew Bernard
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Nicolas Bertaux
Paris 11
France
Dietmar Berwanger
Fachbereich Informatik
RWTH Aachen
Aachen, Germany
Marc Bezem
University of Bergen
Norway
Wolfgang Bibel
Fachbereich Informatik
Technische Universität Darmstadt
Darmstadt, Germany
Armin Biere
Johannes Kepler University
Austria
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
Institute fuer Informatik, TU Muenchen
Enrico Blanzieri
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
François Bobot
U-PSUD - INRIA
France
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
Stefan Borgwardt
TU Dresden
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.
Chris Bouchard
SUNY Albany
USA
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.
Marco Bozzano
ITC-IRST
Italy
Martin Brain
University of Oxford
UK
Keith L. Breinholt
Salt Lake City, Utah, U.S.A.
Paolo Bresciani
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy
Taus Brock-Nannestad
IT University of Copenhagen
Denmark
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
Fachbereich Informatik,
TU Darmstadt, Germany
Bruno Buchberger
Research Institute for Symbolic Computation
Hagenberg, Austria
Ulrik Buchholtz
Stanford University
U.S.A.
Alan Bundy
School of Informatics
University of Edinburgh
Edinburgh, Scotland, U.K.
Guillaume Burel
ENSIIE/CÉDRIC
France
Ralph Butler
Department of Computer Science
Middle Tennessee State University
Murfreesboro, Tennessee, U.S.A.
Andrew Butterfield
University of Dublin, Trinity College
Ireland
Sascha Böhme
Technische Universität München
Hans-Jürgen Bürckert
DFKI
Saarbrücken, Germany
Leonardo M. Cabrer
Mathematic Institute - Oxford University
UK
Ricardo Caferra
Laboratoire LEIBNIZ-IMAG
Grenoble, France
Paul A. Cairns
UCL Interaction Centre
University College London
London, England, United Kingdom
Jacques Calmet
Fakultät für Informatik
Universität Karlsruhe
Karlsruhe, Germany
Andrea Calì
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
Roma, Italy
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
Peter Chapman
University of Brighton
Kaustuv Chaudhuri
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Melisachew Wudage Chekol
INRIA
France
Hao Chen
Department of Computer Science
University of York
England, United Kingdom
Shuwei Chen
School of Computing and Mathematics
University of Ulster, UK
Jingde Cheng
Department of Information and Computer Sciences
Saitama University
Japan
Yannick Chevalier
INRIA-Lorraine
Villers-lès-Nancy, France
Christine Choppy
Institut Galilée
Université Paris XIII
Villetaneuse, France
Samir Chopra
Department of Computer and Information Science
Brooklyn College
Brooklyn, New York, U.S.A.
Alexandros Chortaras
National Technical University of Athens
Shang-Ching Chou
Department of Computer Science
Wichita State University
Wichita, Kansas, U.S.A.
Jürgen Christ
University of Freiburg
Germany
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
Alessandro Cimatti
Fondazione Bruno Kessler
Povo, Italy
Stefan Ciobaca
ENS Cachan
France
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.
Grabmayer Clemens
Utrecht University
Netherlands
Anthony G. Cohn
School of Computer Studies
University of Leeds
Leeds, England, U.K.
David Cok
GrammaTech
USA
Christian Colombo
University of Malta
Malta
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
Pierre-Emmanuel Cornilleau
INRIA Rennes
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
Jorge Cuellar
Siemens
Munich, Germany
Bernardo Cuenca Grau
University of Oxford
UK
Jim Cunningham
Department of Computing
Imperial College
London, England, U.K.
Pascal Cuoq
Institut CARNOT CEA LIST
France
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.
Frank De Boer
CWI
Netherlands
Philippe De Groote
INRIA-Lorraine
Nancy, France
Leonardo de Moura
Microsoft Research
Redmond, U.S.A.
Hans De Nivelle
University of Wrocław
Wrocław, Poland
Diego Caminha Barbosa de Oliveira
Universite de Nancy
France
Maarten de Rijke
Institute for Logic, Language and Computation
Universiteit Amsterdam
Amsterdam, the Netherlands
David Delahaye
CEDRIC/CNAM
Paris, France
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
New York University
USA
Amit Kumar Dhar
LIAFA
France
Stephanie Dick
Harvard University
USA
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 Doyle
Department of Computer Science
Clemson University
Clemson, South Carolina, U.S.A.
Claire Dross
AdaCore
France
Dave Duchesneau
Scrutiny, Inc.
Seattle, Washington, U.S.A.
Hazel Duncan
University of Edinburgh
Edinburgh, Scotland, U.K.
Jan Duracz
Aston University
United Kingdom
Bruno Dutertre
SRI International
U.S.A.
Peter Dybjer
Chalmers University of Technology
Göteborg, Sweden
Roy Dyckhoff
School 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.
Fabian Emmes
RWTH Aachen University
Germany
Ulrich Endriss
Department of Computer Science
King's College
London, England, U.K.
Jorg Endrullis
Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
Madalina Erascu
Research Institute for Symbolic Computation
Johannes Kepler University
Linz, Austria
Serdar Erbatur
University at Albany--SUNY
USA
Esra Erdem
Sabanci University
Istanbul, Turkey
John Erickson
Jet Propulsion Laboratory
4467 Hackberry Court
Midland, Texas, U.S.A.
Johannes Eriksson
Åbo Akademi University
Finland
Lars-Henrik Eriksson
Industrilogik
Stockholm, Sweden
Santiago Escobar
Universidad Politécnica de Valencia
Spain
Stephan Falke
Karlsruhe Institute of Technology (KIT)
Karlsruhe, Germany
William M. Farmer
Department of Computing and Software
McMaster University
Hamilton, Ontario, Canada
Mahfuza Farooque
LIX, Ecole Polytechnique,
Paris, France
Germain Faure
INRIA Saclay - Île de France
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
Maribel Fernandez
King's College London, Dept. of Informatics
UK
Armin Fiedler
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Arnaud Fietzke
Max Planck Institute for Computer Science
Saarbrücken, Germany
Marcelo Finger
Departamento de Ciência da Computação
Universidade de Sao Paulo
Sao Paulo, Brazil
Camillo Fiorentini
Università degli Studi di Milano
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-lès-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
Mario Frank
University of Potsdam
Germany
Andreas Franke
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Michael Franssen
Eindhoven University of Technology
Netherlands
Matthew Fredrikson
University of Wisconsin
USA
Cameron Freer
Department of Mathematics
Massachusetts Institute of Technology
USA
Oliver Friedmann
University of Munich (LMU)
Germany
Alan Frisch
University of York
UK
Andreas Fröhlich
JKU Linz
Austria
Peng Fu
The University of Iowa
USA
Alexander Fuchs
University Koblenz-Landau
Koblenz, Germany
Carsten Fuhs
RWTH Aachen
Aachen, 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
Juan Galeotti
Saarland University
Germany
Didier Galmiche
LORIA & Université Henri Ponicaré
Nancy, France
Ruben A. Gamboa
Department of Computer Science
University of Wyoming
U.S.A.
Pawel Gancarski
University of Dublin, Trinity College
Ireland
Vijay Ganesh
MIT
USA
Jianhua Gao
INRIA
Paliseau, France
Sicun Gao
Carnegie Mellon University
USA
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
Max-Planck-Institut für Informatik
Saarbrücken, Germany
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.
Kimberly Gero
University at Albany--SUNY (USA)
USA
Wided Ghardallou
University of Tunis El Manar
Tunisia
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
Birte Glimm
Institut für Künstliche Intelligenz
Universität Ulm, Germany
Isabelle Gnaedig
LORIA & INRIA Lorraine
Nancy, France
Guillem Godoy
Universidad Politecnica de Catalunya
Lleida, Spain
Amit Goel
Intel Corporation
USA
Wolfgang Goerigk
Institut für Informatik
Christian Albrechts Universität Kiel
Kiel, Germany
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 P. Goré
Research School of Information Sciences and Engineering
Australian National University
Canberra, Australia
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.
Bernhard Gramlich
Institut für Computersprachen
Technische Universität Wien
Wien, Austria
Thomas Gransden
Dept. of Computer Science
University of Leicester
United Kingdom
Sarah Grebing
University of Koblenz-Landau
Germany
Cordell Green
Kestrel Institute
Palo Alto, California, U.S.A.
George R. Greene
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
Friedrich Gretz
RWTH Aachen
Germany
E. Pascal Gribomont
Institut Montefiore
Université de Liege
Liege, Belgium
Alberto Griggio
University of Trento
Italy
Radu Grigore
Queen Mary, University of London
United Kingdom
Siegmar Grohmann
Mainz, Germany
Jan Friso Groote
Department of Computer Science
Eindhoven University of Technology
The Netherlands
Gudmund Grov
University of Edinburgh
UK
Klaus Grue
DIKU
Copenhagen, Denmark
Jim Grundy
Intel Corporation
Hillsboro, Oregon, U.S.A.
Erich Grädel
Math. Grundlagen der Informatik
RWTH Aachen
Aachen, Germany
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
John B. Halleck
University Information Technology
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
Alcatel-Lucent
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
Olivier Hermant
ISEP
France
Carl Hewitt
Aptos, California, U.S.A.
Jason Hickey
California Institute of Technology
Pasadena, California, U.S.A.
Maria-José Hidalgo Doblado
Departmento de Ciencias de la Computacion e Inteligencia
Artificial
Universidad de Sevilla
Sevilla, Spain
Lom Messan Hillah
LIP6
France
Thomas Hillenbrand
Max-Planck-Institut für Informatik
Saarbrücken, Germany
Timothy Hinrichs
University of Illinois
Chicago, U.S.A.
Nao Hirokawa
Japan Advanced Institute of Science and Technology
Ishikawa, Japan
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
Krystof Hoder
University of Manchester
United Kingdom
Jochen Hoenicke
University of Freiburg
Germany
Robert Hoffman
Humble, Texas, USA
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
University of New Mexico
Albuquerque, New Mexico, U.S.A.
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
Vincent Hugot
INRIA/CASSIS and LIFC
France
Warren A. Hunt
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.
Michael Huth
Imperial College London
UK
Dieter Hutter
DFKI
Universität des Saarlandes
Saarbrücken, Germany
Reiner Hähnle
Technical University of Darmstadt
Germany
Peter Höfner
Universität Augsburg
Augsburg, Germany
Steffen Hölldobler
Fakultät Informatik
Technische Universität Dresden
Dresden, Germany
Giovambattista Ianni
University of Calabria
Italy
Mohamed Iguernelala
Paris Sud University (LRI)
Paris, France
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.
Md Zahidul Islam
St. Francis Xavier University
Canada
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
Paul B. Jackson
School of Informatics, University of Edinburgh
UK
Swen Jacobs
Max-Planck-Institut für Informatik
Saarbrücken, Germany
Melanie Jacquel
Siemens
France
Florent Jacquemard
INRIA - IRCAM
France
Eivind Jahren
University of Bergen
Norway
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
Faculty of Mathematics
University of Belgrade
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.
Emil Jeřábek
Institute of Mathematics of the Academy of Sciences of the Czech Republic
Czech Republic
Somesh Jha
University of Wisconsin-Madison
Ernesto Jimenez-Ruiz
University of Oxford
UK
Moa K. Johansson
Dipartimento di Informatica
Universita degli Studi di Verona
Italy
Dejan Jovanović
New York University
USA
Matti Järvisalo
University of Helsinki
Finland
Vineet Kahlon
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas, U.S.A.
Cezary Kaliszyk
University of Innsbruck
Austria
Sara Kalvala
University of Warwick
United Kingdom
Mark Kaminski
Saarland University
Saarbrücken, Germany
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
University of Texas at Austin
Austin, Texas, U.S.A.
Benedict Kavanagh
University of Edinburgh
United Kingdom
Yevgeny Kazakov
Oxford University Computing Laboratory
Oxford, U.K.
Manfred Kerber
School of Computer Science
The University of Birmingham
Birmingham, England, U.K.
Zurab Khasidashvili
Intel Israel Design Center
Hiafa, Israel
Mohammad Khodadadi
University of Manchester
UK
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
Aleks Kissinger
Oxford University
UK
Francis Klay
France Telecom R&D
Lannion, France
Vladimir Klebanov
Karlsruhe Institute of Technology
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
Phokion Kolaitis
Department of Computer and Information Sciences
University of California at Santa Cruz
Santa Cruz, California, U.S.A.
Alexander Koller
Universität des Saarlandes
Saarbrücken, Germany
Boris Konev
Department of Computer Science
University of Liverpool
Liverpool, England, United Kingdom
Patrick Koopmann
University of Hamburg
UK
Adam Koprowski
Eindhoven, Netherlands
Konstantin Korovin
University of Manchester
Manchester UK
Martin Korp
University of Innsbruck
Innsbruck, Austria
Thumrongsak Kosiyatrakul
Syracuse University
Syracuse, New York
U.S.A.
Laura Kovacs
Institute for Computer Languages
Vienna University of Technology, Austria
Gergely Kovásznai
JKU
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.
Steve Kremer
INRIA Nancy - Grand Est
France
Sava Krstic
Department of Computer Science and Engineering
Oregon Health and Science University
Beaverton, Oregon
U.S.A.
Evgeny Kruglov
Max Planck Institute for Computer Science
Germany
Daniel Kuehlwein
Radboud University Nijmegen
Netherlands
Ramana Kumar
University of Cambridge
Cambridge, U.K.
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
Thomas Käufl
Institut für Logik, Komplexitat und Deduktionssysteme
Universität Karlsruhe
Karlsruhe, Germany
Ori Lahav
Tel Aviv University
Tel Aviv, Israel
Shuvendu Lahiri
Microsoft Research
United States of America
Akash Lal
Microsoft Research
Bangalore, India
Dominique Larchey-Wendling
LORIA & Université Henri Poincaré
Nancy, France
Daniel Larraz
Universitat Politècnica de Catalunya
Spain
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
Stéphane J.E. Lengrand
CNRS - Ecole Polytechnique
Paliseau, France
Elizabeth I. Leonard
Naval Research Laboratory
Washington, DC, U.S.A.
Rasmus Lerchedahl Petersen
Queen Mary, University of London
Xavier Leroy
INRIA Paris-Rocquencourt
France
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
Mengjun Li
School of Computer Science,National University of Defence Technology
China
Yingjie Li
Lehigh University
USA
Yuan-Fang Li
Monash University
Australia
Tianyi Liang
The University of Iowa
USA
Zhiyao Liang
University of Houston
Houston, Texas, U.S.A.
Tomer Libal
Vienna Technical University
Austria
Ann Lilieström
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.
Yuhui Lin
University of Edinburgh
UK
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
Markus Lohrey
Institut für Informatik
Universität Stuttgart
Stuttgart, Germany
Florian Lonsing
JKU Linz
Austria
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 W. 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
Tianxiang Lu
Max-Planck-Institute for Computer Science
Germany
Salvador Lucas
D.S.I.C.
Universidad Politecnica de Valencia
Valencia, Spain
Michel Ludwig
University of Liverpool
UK
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.
Bernd Löchner
Technische Universität Kaiserslautern
Kaiserslautern, Germany
Christoph Lüth
Fachbereich Informatik
Universität Bremen
Bremen, Germany
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
Klaus Madlener
Fachbereich Informatik
Universität Kaiserslautern
Kaiserslautern, Germany
Despoina Magka
Computing Laboratory
Oxford University
Oxford, U.K.
Assia Mahboubi
Computer Science Lab Ecole Polytechnique (LIX)
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
Tiziana Margaria
"Service Engineering for Distributed
Systems"
Institute for Informatics
University of Goettingen
Goettingen, Germany
Mircea Marin
West University of Timisoara
Romania
Filip Marić
Faculty of Mathematics
University of Belgrade
Serbia
Joseph Marr
Vienna, Virginia, U.S.A.
Andrew M Marshall
University at Albany–SUNY
USA
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
Yuri Matiyasevich
Steklov Institute of Mathematics at St.Petersburg
Russia
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
Benton Mccune
University of Iowa
USA
Ralph McGregor
Department of Mathematics and Computer Science
Clarkson University
Potsdam, New York, U.S.A.
Sean McLaughlin
Carnegie Mellon University
Pittsburgh, Pennsylvania, 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
Laura Meikle
University of Edinburgh
United Kingdom
Erica Melis
DFKI Saarbrücken
Saarbrücken, Germany
Guillaume Melquiond
INRIA - Microsoft Research
Orsay, France
Julian Alfredo Mendez
Technische Universitaet Dresden
Germany
Jia Meng
National ICT Australia
Canberra, Australia
Alex Merry
Department of Computer Science, University of Oxford
UK
Florian Merz
Karlsruhe Institute of Technology
Germany
Stephan Merz
INRIA
Nancy, France
José Meseguer
Department of Computer Science
University of Illinois at Urbana Champaign
Urbana, Illinois, U.S.A.
George Metcalfe
University of Bern
Switzerland
Alejandro Metke
CSIRO
Australia
Robert K Meyer
Computer Science Lab
College of Engineering & Computer Science
The Australian National University
Canberra, Australia
Raphaël Michel
CETIC Research Center
Belgium
Aart Middeldorp
Institute of Computer Science
University of Innsbruck
Innsbruck, Austria
Dale Miller
Laboratoire d'Informatique, LIX
Ecole Polytechnique
Paris, France
Stefan Minica
Netherlands
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.
Antoine Miné
CNRS & Ecole Normale Supérieure
France
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.
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.
Rosemary Monahan
Department of Computer Science
National University of Ireland Maynooth
Ireland
Anthony Monnet
UQAM
Canada
David Monniaux
CNRS / VERIMAG
France
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
Microsoft Research, Redmond
U.S.A.
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
University of Oxford
UK
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.
Rajiv Murali
Heriot Watt
UK
Hirokazu Murao
Univ. Electro-Communications
Japan
Neil V. Murray
Department of Computer Science
Inst. for Informatics, Logics, & Security Studies
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
Daniel Méry
LORIA & Université Henri Poincaré
Nancy, France
Sebastian Mödersheim
ETH Zurich
Zurich, Switzerland
Gopalan Nadathur
Department of Computer Science and Engineering
University of Minnesota
Minneapolis, Minnesota, U.S.A.
Daniel Nagle
University of Limierck
Limerick, Ireland
Cláudia Nalon
University of Brasília
Brazil
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.
Adam Naumowicz
Institute of Informatics, University of Bialystok
Poland
Juan Antonio Navarro Perez
University of Manchester
United Kingdom
René Neumann
Technische Universität München
Germany
Walther Neuper
Graz University of Technology
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
Tech. University Catalonia
Spain
Đurica Nikolić
Università di Verona - Dipartimento di Informatica
Verona, Italy
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
Aditya Nori
Microsoft Research
India
Michael Norrish
National ICT Australia Ltd
Canberra, Australia
Lars Noschinski
Technische Universität München, Institut für Informatik
Germany
Jean-Marc Notin
LORIA & Université Henri Poincaré
Nancy, France
Joe O'Keeffe
LeTSystems
Ireland
Barry O'Sullivan
Department of Computer Science
University College Cork
Cork, Ireland
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
Alberto Oliart Ros
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
Paul Oppenheimer
Stanford University
USA
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 University
U.A.S.
Leszek Pacholski
Wroclaw University
Wroclaw, Poland
Ranganathan 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.
Fabio Papacchini
University of Manchester
UK
Petros Papapanagiotou
University of Edinburgh
UK
Sungwoo Park
Pohang University of Science and Technology
Korea (south)
Bijan Parsia
University of Manchester
United Kingdom
William Pase
Armacode Incorporated
Ottawa, Ontario, Canada
Andrei Paskevich
Université Paris-Sud 11, IUT d'Orsay
France
Grant Olney Passmore
University of Cambridge and University of Edinburgh
UK
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 C. Paulson
Computer Laboratory
University of Cambridge
Cambridge, England, U.K.
Siani Pearson
Hewlett Packard Laboratories
Bristol, England, U.K.
Adam Pease
Articulate Software
USA
Francis Jeffry 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
Cris Perdue
Los Altos, California, U.S.A.
Rivindu Perera
Informatics Institute of Technology (affil. with Univ. of Westminster),
Colombo, Sri Lanka
Uwe Petermann
Fachbereich IMN
HTWK-Leipzig
Leipzig, Germany
Rafael Peñaloza
TU Dresden
Germany
Frank Pfenning
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Anh-Dung Phan
DTU Informatics, Techical University of Denmark
Denmark
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
Viorel Preoteasa
Åbo Akademi University
Finland
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
Michal Ptaszynski
Kitami Institute of Technology
Kitami, Japan
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
Jan-David Quesel
University of Oldenburg
Germany
Florian Rabe
International University Bremen
Germany
N. Raja
School of Technology and Computer Science
Tata Institute of Fundamental Research
Mumbai, India
Silvio Ranise
FBK-Irst
Trento, Italy
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
David Ratcliffe
CSIRO ICT Centre
Australia
Thomas Raths
Universität Potsdam
Potsdam, Germany
Stefan Ratschan
Academy of Sciences of the Czech Republic
Czech Republic
Conrad Rau
Institute for Computer Science
Goethe-University
Frankfurt, 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.
Andrew Reynolds
University of Iowa
USA
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 Riener
Vienna University of Technology
Austria
Martin Rinard
MIT
United States of America
Christophe Ringeissen
LORIA & INRIA-Lorraine
Villers-Les-Nancy, France
John Alan Robinson
Syracuse University
New York, USA
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
University of Oslo,
Norway
Maria Del Mar Roldan-Garcia
Universidad de Malaga
Spain
Daniel Romero
Universidad Politécnica de Valencia
Erik Rosenthal
Department of Mathematics
University of New Haven
West Haven, Connecticut, U.S.A.
Dan Rosén
Chalmers
Sweden
Jurriaan Rot
LIACS
Netherlands
Robert Rothenberg
University of St Andrews
Scotland, UK
Nicolas F. Rouquette
Jet Propulsion Laboratory / NASA
California Institute of Technology
Pasadena, California, U.S.A.
Olivier Roussel
CRIL - CNRS UMR 8188
France
Cody Roux
Universite-Paris-Sud
France
Marianna Rozenfeld
CSLI
Stanford University
Stanford, California, U.S.A.
Albert Rubio
Departamento LSI
Universitat Polytècnica de Catalunya
Barcelona, Spain
Harald Ruess
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
José-Luis Ruiz Reina
Departmento de Ciencias de la Computacion e Inteligencia
Artificial
Universidad de Sevilla
Sevilla, Spain
Michaël Rusinowitch
LORIA & INRIA-Lorraine
Nancy, France
Marco Ruzzi
SAPIENZA Universita' di Roma
Italy
Vladimir Rybakov
Manchester Metropolitan Univesity
UK
Philipp Rümmer
Department of Information Technology
Uppsala University, Sweden
Orkunt Sabuncu
University of Potsdam
Germany
Jorge Luis Sacchini
Carnegie Mellon University - Qatar Campus
Qatar
Ronan Saillard
INRIA
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
Yann Salmon
IRISA, Université Rennes 1
France
Jordi Saludes
Universitat Politècnica de Catalunya
Spain
Gernot Salzer
Technische Universität Wien
Wien, Austria
Cesar Sanchez
IMDEA Software Institute
Spain
William Sandberg-Maitland
Spyrus Inc.
Ottawa, Ontario, Canada
Arnaud Sangnier
LIAFA, Univ Paris Diderot,
Sorbonne Paris Cité, CNRS, France
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
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
Institute for Theoretical Computer Science
KIT (Karlsruhe Institute of Technology)
Karlsruhe, Germany
Robert Schneck
Department of Mathematics
University of California at Berkeley
Berkeley, California, U.S.A.
Michael Schneider
FZI Forschungszentrum Informatik
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.
Wolfgang Schreiner
Johannes Kepler University
Heribert Schultz
Institut für Informatik
Technische Universität München
München, Germany
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
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
Nicole Schweikardt
Goethe-University
Germany
Carsten Schürmann
IT University of Copenhagen
Denmark
Floriano Scioscia
Politecnico di Bari
Italy
Dana S. Scott
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, U.S.A.
Roberto Sebastiani
DISA
Università di Trento
Trento, Italy
Martina Seidl
Johannes Kepler University Linz
Austria
Bart Selman
Department of Computer Science
Cornell University
Ithaca, New York, U.S.A.
Valerio Senni
University of Rome "Tor Vergata"
Roma, Italy
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.
Atal Shargorodsky
Finland
Natasha Sharygina
University 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 H. Siekmann
DFKI
Universität des Saarlandes
Saarbrücken, Germany
Luis Sierra
Universidad de la Republica
Montevideo, Uruguay
Frantisek Simancik
University of Oxford
UK
Donald L. Simon
Department of Mathematics and Computer Science
Duquesne University
Pittsburgh, Pennsylvania, U.S.A.
Laurent Simon
Laboratoire de Recherche en Informatique
Université de Paris-Sud
Orsay, France
David Sinclair
Dublin City University
Dublin, Ireland
Alex Sinner
IIIA-CSIC
Spain
Michel Sintzoff
Université Catholique de Louvain
Louvain-la-Neuve, Belgium
Carsten Sinz
Karlsruhe Institute of Technology (KIT)
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.
Alan Smaill
The University of Edinburgh
UK
Nick Smallbone
Chalmers University of Technology
Göteborg, Sweden
Douglas R. Smith
Kestrel Institute
Palo Alto, California, U.S.A.
Gert Smolka
Saarland University
Saarbrücken, Germany
Rolf Socher-Ambrosius
Emden, Germany
Fran Soddell
Division of Information Technology
La Trobe University
Bendigo, Victoria, Australia
Viorica Sofronie-Stokkermans
Universität Koblenz-Landau, Germany
Max Planck Institut für Informatik, Saarbrücken, Germany
Andrew Sogokon
University of Edinburgh
UK
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
Weihong Song
University of New Brunswick
Canada
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
Andrej Spielmann
EPFL
France
Arnaud Spiwack
ENS Cachan
Gif sur Yvette, France
Fausto Spoto
Università di Verona
Siddhartha Srivastava
University of Massachusetts, Amherst
Amherst, Massachusetts, U.S.A.
Zbigniew Stachniak
Department of Computer Science
York University
Toronto, Ontario, Canada
David Stanovský
Charles University in Prague
Gem Stapleton
University of Brighton
Brighton, England, U.K.
Ian Stark
University of Edinburgh
Edinburgh, U.K.
Graham Steel
University of Genova
Genova, Italy
Andreas Steigmiller
Universität Ulm
Germany
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
Thomas Sternagel
University of Innsbruck
Austria
Mark E. Stickel
Artificial Intelligence Center
SRI International
Menlo Park, California, U.S.A.
Christoph Sticksel
The University of Manchester, UK
Univ. of Iowa
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-lès-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
Max-Planck Institut fuer Informatik
Saarbrücken, Germany
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.
Philippe Suter
EPFL
Switzerland
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
Niklas Sörensson
Department of Computer Science and Engineering
Chalmers University of Technology
Göteborg, Sweden
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
Josh B. Thomas
Austin, Texas, U.S.A.
Jimmy Thomson
The Australian National University
Canberra, Australia
Andreas Thums
Lehrstuhl für Softwaretechnik und Programmiersprachen
Institut für Informatik
Universität Augsburg
Augsburg, Germany
Laurent Théry
INRIA Sophia Antipolis
France
Hans-Jörg 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.
Ott Tinn
University of Edinburgh
UK
Dmitry Tishkovsky
Department of Computer Science
University of Manchester
Manchester, England, U.K.
Alwen Tiu
Australian National University
Australia
Ashish Tiwari
Computer Science Laboratory
SRI International
Menlo Park, California, U.S.A.
David Toman
University of Waterloo
Waterloo, Ontario, Canada
Silvia Tomasi
DISI, University of Trento
Italy
Sophie Tourret
Grenoble Informatics Laboratory
France
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.
Julian Tschannen
ETH Zürich
Switzerland
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
Radboud University
Netherlands
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
Hernán Vanzetto
Microsoft Research/INRIA Joint Center
Villers-lès-Nancy, France
Eric Veal
Siemens
Seattle, Washington, U.S.A.
Margus Veanes
Microsoft Research
USA
Miroslav Velev
Aries Design Automation
Chicago, IL, U.S.A.
Daniel Ventura
Universidade Federal de Goiás
Brazil
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,
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
Jørgen Villadsen
Informatics and Mathematical Modelling
Technical University of Denmark
Kongens Lyngby, Denmark
Mateu Villaret
University of Girona
Spain
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
Marc Wagner
Fachbereich Informatik
Universität des Saarlandes
Saarbrücken, Germany
Marvin E. Walden
CADManDo Company
Troy, Michigan, U.S.A.
Richard Waldinger
Artificial Intelligence Center
SRI International
Menlo Park, California, U.S.A.
Johannes Waldmann
HTWK Leipzig, FB IMN
Germany
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
Daniel Wand
Max-Planck-Institut für Informatik
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
Tjark Weber
Uppsala University
Sweden
Grant Weddell
University of Waterloo
Waterloo, Ontario, Canada
Christoph Weidenbach
Max Planck Institut für Informatik
Saarbrücken, Germany
Agnes Weiershäuser
TU München
Germany
Volker Weispfenning
Universität Passau
Passau, Germany
Daniel Weller
Vienna University of Technology
Austria
Joe Wells
Department of Computer Science
Boston University
Boston, Massachusetts, U.S.A.
Ulrich Wendl
München, Germany
Makarius Wenzel
Université Paris-Sud
France
Benjamin Werner
INRIA
LIX
Ecole Polytechnique
Palaiseau, France
Christoph Wernhard
Technische Universität Dresden
Dresden, Germany
Stephen J. Westfold
Kestrel Institute
Palo Alto, California, 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
Siert Wieringa
Aalto University School of Science and Technology
Finland
Thomas Wies
New York University
USA
Wolfgang Windsteiger
Institut RISC
Hagenberg, Austria
Sarah Winkler
University of Innsbruck
Innsbruck, Austria
Victor Winter
University of Nebraska at Omaha
Omaha, Nebraska, U.S.A.
Christoph M. Wintersteiger
Microsoft Research
UK
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
Université Paris-Sud, LRI
Orsay, France
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
Bruno Woltzenlogel Paleo
Vienna University of Technology
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
Wei Wu
Zhejiang University
CHINA
Zhe Wu
Oracle
USA
Jia Xiangxue
Chinese Academy of Sciences
Beijing China
Keizo Yamada
Department of Artificial Intelligence
Kyushu Institute of Technology
Kawazu, Iizuka, Japan
Wael Yehia
York University
Toronto, ON, Canada
Greta Yorsh
Tel-Aviv University
Tel Aviv, Israel
Anna Zamansky
Vienna University of Technology
Austria
Harald Zankl
University of Innsbruck
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.
Aleksandar Zeljić
Uppsala University
Sweden
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