AAR Members

(as of September 2014)

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, USA

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, USA

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, USA

John R. Allen
Santa Clara University
Santa Clara, California, USA

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, USA

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, USA

Étienne André
LIPN, CNRS UMR 7030, Université Paris 13, France
France

Houda Anoun
LaBRI
Talence, France

Michael Anshel
New York, New York, USA

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, USA

Vincent Aravantinos
Laboratory of Informatics of Grenoble
Grenoble, France

Myla Archer
US Naval Research Laboratory
Washington, DC, USA

Zena Matilde Ariola
Department of Computer and Information Science
University of Oregon
Eugene, Oregon, USA

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, USA

Rob D. Arthan
Lemma 1 Ltd.
Reading, Berkshire, U.K.

Charles Ashbacher
Charles Ashbacher Technologies
Hiawatha, Iowa, USA

Bertil Askelid
Research and Development
Sympoiesis
Anaheim Hills, California, USA

Owen Astrachan
Department of Computer Science
Duke University
Durham, North Carolina, USA

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, USA

Peter Backeman
Uppsala University
Sweden

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, USA

Ranan B. Banerji
Melrose Park, Pennsylvania, USA

Jean Barel
CONGO BARKER
Kenya

Clark W. Barrett
Department of Computer Science
New York University
New York, New York, USA

David Basin
ETH Zurich
Zurich, Switzerland

Richard F. Baum
Department of Information and Software System Engineering
George Mason University
Fairfax, Virginia, USA

Peter Baumgartner
National ICT Australia
Canberra, Australia

Joshua Bax
NICTA
Australia

John Baxter
School of Mathematics
University of Minnesota
Minneapolis, Minnesota, USA

Bernhard Beckert
Karlsruhe Institute of Technology
Karlsruhe, Germany

Michael J. Beeson
San José State University
Aptos, California, USA

Christoph Beierle
FernUniversitaet in Hagen
Hagen, Germany

Johan G. F. Belinfante
School of Mathematics
Georgia Institute of Technology
Atlanta, Georgia, USA

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

Josh Berdine
Microsoft Research
Cambridge, UK

Andrew Bernard
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

Nicolas Bertaux
Paris 11
France

Dietmar Berwanger
Fachbereich Informatik
RWTH Aachen
Aachen, Germany

Olaf Beyersdorff
School of Computing
University of Leeds
UK

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, USA

Bruno Blanchet
CNRS, Ecole Normale Supérieure - DI
Paris, France

Jasmin Christian Blanchette
Institut für Informatik, TU München

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, USA

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, USA

Marco Bozzano
ITC-IRST
Italy

Martin Brain
University of Oxford
UK

Keith L. Breinholt
Salt Lake City, Utah, USA

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

Daniel Bruns
Karlsruhe Institute of Technology
Germany

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, USA

Richard Bubel
Fachbereich Informatik,
TU Darmstadt, Germany

Bruno Buchberger
Research Institute for Symbolic Computation
Hagenberg, Austria

Ulrik Buchholtz
Stanford University
USA

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, USA

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

Cristóbal Camarero
University of Cantabria
Spain

Luigia Carlucci Aiello
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
Roma, Italy

David Carral
Wright State University
Ohio, USA

Jan Cedarquist
CWI
Amsterdam, The Netherlands

Serena Cerrito
Université d'Evry Val d'Essonne
Evry, France

İsmail İlkan Ceylan
Theoretische Informatik
Technische Universität Dresden
Germany

Amine Chaieb
TU Munich
Institut fur Informatik TUM
Munich, Germany

Prasun Chakrabarti
Dept. of Computer Science and Engineering
Sir Padampat Singhania University, Rajasthan, India

Peter Chapman
University of Brighton

Kaustuv Chaudhuri
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

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

Zakaria Hichem Chihani
Inria
France

Christine Choppy
Institut Galilée
Université Paris XIII
Villetaneuse, France

Samir Chopra
Department of Computer and Information Science
Brooklyn College
Brooklyn, New York, USA

Alexandros Chortaras
National Technical University of Athens

Shang-Ching Chou
Department of Computer Science
Wichita State University
Wichita, Kansas, USA

Jürgen Christ
University of Freiburg
Germany

Jacek Chrzaszcz
Warsaw University
Warsaw, Poland

Heng Chu
IBM Corporation
Research Triangle Park, North Carolina, USA

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, USA

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, USA

Robert L. Constable
Department of Computer Science
Cornell University
Ithaca, New York, USA

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, USA

Iain Craig
University of Northampton
Northampton, UK

Karl Crary
Department of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

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, USA

Jared C. Davis
University of Texas at Austin
Austin, Texas, USA

Martin Davis
Department of Mathematics
University of California at Berkeley
Berkeley, California, USA

Frank De Boer
CWI
Netherlands

Philippe De Groote
INRIA-Lorraine
Nancy, France

Leonardo de Moura
Microsoft Research
Redmond, USA

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, USA

Benjamin Dotto
University of Koblenz-Landau
Germany

Daniel J. Dougherty
Worcester Polytechnic Institute
Worcester, New York, USA

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, USA

Claire Dross
AdaCore
France

Dave Duchesneau
Scrutiny, Inc.
Seattle, Washington, USA

Hazel Duncan
University of Edinburgh
Edinburgh, Scotland, U.K.

Jan Duracz
Aston University
United Kingdom

Bruno Dutertre
SRI International
USA

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

Ajay Kumar Eeralla
Clarkson University
USA

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, USA

E. Allen Emerson
Department of Computer Sciences
University of Texas at Austin
Austin, Texas, USA

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
Universita degli Studi di Verona
Italy

Esra Erdem
Sabanci University
Istanbul, Turkey

John Erickson
Jet Propulsion Laboratory
4467 Hackberry Court
Midland, Texas, USA

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

Jean-Christophe Filliâtre
CNRS
France

Marcelo Finger
Departamento de Ciência da Computação
Universidade de Sao Paulo
Sao Paulo, Brazil

Camillo Fiorentini
Department of Computer Science
Università degli Studi di Milano
Italy

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, USA

James Fitzgerald
Argonne National Laboratory and The University of Chicago
Chicago, Illinois, USA

Jacques Desiré Fleuriot
University of Edinburgh
Edinburgh, Scotland, U.K.

Paul Fodor
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, New York, USA

Pascal Fontaine
INRIA, LORIA, University of Lorraine
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
University College London
London, United Kingdom

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
USA

Pawel Gancarski
University of Dublin, Trinity College
Ireland

Vijay Ganesh
MIT
USA

Graeme Gange
University of Melbourne
Australia

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, USA

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 Matematica
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

Robert Givan
Purdue University
USA

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, USA

Georges Gonthier
Microsoft Research Cambridge
Cambridge, U.K.

Keith Goolsbey
Cycorp, Inc.
USA

Valentin Goranko
Department of Philosophy
Stockholm University
Sweden

Rajeev P. Goré
Research School of Information Sciences and Engineering
Australian National University
Canberra, Australia

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, USA

George R. Greene
Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, North Carolina, USA

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
Heriot-Watt University
Edinburgh, UK

Klaus Grue
DIKU
Copenhagen, Denmark

Jim Grundy
Intel Corporation
Hillsboro, Oregon, USA

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, USA

Elsa Gunter
Department of Computer Science
Universtiy of Illinois at Urbana-Champaign
Urbana, Illinois, USA

Harald Gurres
AG Grundlagen der Programmierung
Universität Kaiserslautern
Kaiserslautern, Germany

Claudio Gutierrez
Department of Computer Science
Universidad de Chile
Santiago, Chile

Joshua Guttman
Worcester Polytechnic Institute
USA

Volker Haarslev
Department of Computer Science
Concordia University
Canada

Hashim Habiballa
Prirodovedecka fakulta
Ostravska Univerzita
Ostrava, Czech Republic

Nada Habli
none
Canada

Thomas Hales
University of Pittsburgh
USA

John B. Halleck
University Information Technology
University of Utah
Utah, USA

Makoto Hamana
LFCS
University of Edinburgh
Edinburgh, Scotland, U.K.

Dennis E. Hamilton
NuovoDoc
Seattle, Washington, USA

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, USA

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, USA

Laurent Henocque
LSIS - UMR CNRS
Marseille, France

Larry Henschen
Department of Electrical Engineering and Computer Science
Northwestern University
Chicago, Illinois, USA

C. Ward Henson
Department of Mathematics
University of Illinois at Urbana-Champaign
Urbana, Illinois, USA

Miki Hermann
LIX, Ecole Polytechnique
Paris, France

Olivier Hermant
ISEP
France

Marijn Heule
The University of Texas at Austin
USA

Carl Hewitt
Aptos, California, USA

Peter Hibbs
SUNY Albany
USA

Jason Hickey
California Institute of Technology
Pasadena, California, USA

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, USA

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, USA

Peter V. Homeier
US Department of Defense
Mountain View, California, USA

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 Koblenz-Landau
Koblenz, 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

Tanji Hu
Purdue University
USA

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

Radu Iosif
CNRS
France

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, USA

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, USA

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, USA

Boris Jerkunica
Atlanta, Georgia, USA

Emil Jeřábek
Institute of Mathematics of the Academy of Sciences of the Czech Republic
Czech Republic

Somesh Jha
University of Wisconsin-Madison

Kailiang Ji
INRIA Rocquencourt
Paris, France

Ernesto Jimenez-Ruiz
University of Oxford
UK

Moa K. Johansson
Chalmers University of Technology
Sweden

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, USA

Cezary Kaliszyk
University of Innsbruck
Austria

Sara Kalvala
University of Warwick
United Kingdom

Mark Kaminski
Department of Computer Science, Oxford University
UK - England

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, USA

Matt Kaufmann
University of Texas at Austin
Austin, Texas, USA

Benedict Kavanagh
University of Edinburgh
United Kingdom

Yevgeny Kazakov
Oxford University Computing Laboratory
Oxford, U.K.

Chantal Keller
LIX - Inria
France

Manfred Kerber
School of Computer Science
The University of Birmingham
Birmingham, England, U.K.

Abdelkader Kersani
LIG
France

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, USA

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, USA

Alexander Koller
Universität des Saarlandes
Saarbrücken, Germany

Boris Konev
Department of Computer Science
University of Liverpool
Liverpool, England, United Kingdom

Soon Ho Kong
Carnegie Mellon University
USA

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
USA

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, USA

Alexander Krauss
TU Munich Institut für Informatik
Munich, Germany

Christoph Kreitz
Department of Computer Science
Cornell University
Ithaca, New York, USA

Steve Kremer
INRIA Nancy - Grand Est
France

Thomas Krennwallner
Vienna University of Technology
Austria

Gopal Krishnasamy
Iowa State University
USA

Sava Krstic
Department of Computer Science and Engineering
Oregon Health and Science University
Beaverton, Oregon
USA

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
USA

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

Daniel Le Berre
CRIL-CNRS UMR8188 Université d'Artois
France

Peter Lee
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

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

Björn Lellmann
Vienna University of Technology
Austria

Mark Lemay
Safari Books Online
USA

Stéphane J.E. Lengrand
CNRS - Ecole Polytechnique
Paliseau, France

Elizabeth I. Leonard
Naval Research Laboratory
Washington, DC, USA

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, USA

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, USA

Yuhui Lin
University of Edinburgh
UK

Patrick Lincoln
Computer Science Laboratory
SRI International
Menlo Park, California, USA

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
USA

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, USA

William Lovas
Carnegie Mellon University
Pittsburgh, USA

Donald W. Loveland
Department of Computer Science
Duke University
Durham, North Carolina, USA

Michael Lowry
NASA Ames Research Center
Moffett Field, California, USA

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, USA

Carsten Lutz
Inst for Theoretical Computer Science
TU Dresden
Dresden, Germany

Christopher Lynch
Department of Mathematics and Computer Science
Clarkson University
Potsdam, New York, USA

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, USA

Yevgeniy Makarov
Indiana University
Computer Science Dept
Bloomington, Indiana, USA

Sharad Malik
Department of Electrical Engineering
Princeton University
Princeton New Jersey, USA

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, USA

Panagiotis Manolios
College of Computing
Georgia Institute of Technology
Atlanta, Georgia, USA

Heiko Mantel
Theoretical Computer Science - FMIS
TU Darmstadt
Darmstadt, Germany

Claude Marché
Laboratoire de Recherche en Informatique
Université de Paris Sud
Orsay, France

João 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, USA

Andrew M Marshall
NRL
USA

Chris Martens
Carnegie Mellon University
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

Andrew Matusiewicz
SUNY Albany
USA

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, USA

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, USA

Sean McLaughlin
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

Nicholas McPhee
Division of Science and Mathematics
University of Minnesota at Morris
Morris, Minnesota, USA

Catherine A. Meadows
Naval Research Laboratory
Washington, DC, USA

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
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, USA

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, USA

Grigori Mints
Department of Philosophy
Stanford University
Palo Alto, California, USA

Antoine Miné
CNRS & Ecole Normale Supérieure
France

David Mitchell
Simon Fraser University
Burnaby, B.C., Canada

Alexander Mitev
Aries Design Automation
Chicago, IL, USA

Ogawa Mizuhito
JAIST
Ishikawa, Japan

Wojciech Moczydlowski
Cornell University
Ithaca, New York, USA

Jesper Blak Moller
Department of Innovation
IT University of Copenhagen
Copenhagen, Denmark

Alberto Momigliano
Department of Philosophy
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

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, USA

Barbara Morawska
TU Dresden
Germany

Edward Morehouse
Wesleyan
U.S.A

Greg Morrisett
Harvard University
USA

Georg Moser
University of Innsbruck
Institute of Computer Science
Innsbruck, Austria

Michal Moskal
Microsoft Research, Redmond
USA

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, USA

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, USA

Rajiv Murali
Heriot Watt
UK

Hirokazu Murao
Univ. Electro-Communications
Japan

Agata Murawska
IT University of Copenhagen
Denmark

Neil V. Murray
Department of Computer Science
Inst. for Informatics, Logics, & Security Studies
State University of New York at Albany
Albany, New York, USA

Derege H. Mussa
Department of Mathematics and Statistics
Hunter College
City University of New York
New York, New York, USA

Madan S. Musuvathi
Microsoft Research
Redmond, Washington, USA

Emilio Muñoz-Velasco
Universidad de Malaga. Dept Applied Matematics
Spain

Dale Myers
Department of Mathematics
University of Hawaii
Honolulu, Hawaii, USA

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, USA

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, USA

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, USA

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

Naoki Nishida
Nagoya University
Japan

Aleksey Nogin
California Institute of Technology
Pasadena, California, USA

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

Paul Olsen
State University of New York at Albany
USA

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, USA

Jeff Pan
Computer Science Department
University of Manchester
Manchester, England, U.K.

Sudhindra Pandav
Department of Computer Science
The University of Utah
Utah, USA

Fabio Papacchini
University of Manchester
UK

Petros Papapanagiotou
University of Edinburgh
UK

Sungwoo Park
Pohang University of Science and Technology
Korea (south)

Erik Parmann
University of Bergen
Norway

Bijan Parsia
University of Manchester
United Kingdom

William Pase
Armacode Incorporated
Ottawa, Ontario, Canada

Andrei Paskevich
Université Paris-Sud, LRI
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, USA

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, USA

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, USA

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, USA

Andre Platzer
Carnegie Mellon University
USA

Amir Pnueli
Weizmann Institute of Science
Israel

Andreas Podelski
MPI Saarbrücken
Saarbrücken, Germany

John Pollock
University of Arizona
Tucson, Arizona, USA

Loic Pottier
INRIA Sophia-Antipolis
Sophia-Antipolis, France

Gian Luca Pozzato
Dipartimento di Informatica
Università degli Studi di Torino
Italy

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, USA

Gregory W. Price
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

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, USA

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, USA

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, USA

Nicolas Rayner
Portland State University
Portland, Oregon, USA

Erik H. Reeber
University of Texas at Austin
Austin, Texas, USA

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, USA

Fabien Renaud
INRIA/CNRS/LIX
France

Andrew Reynolds
University of Iowa
USA

Wilmer Ricciotti
Università di Bologna
Dipartimento di Scienze dell'Informazione
Italy

John F. Richardson
NRAD
San Diego, California, USA

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
USA

Christophe Ringeissen
LORIA & INRIA-Lorraine
Villers-Les-Nancy, France

Christine Rizkallah
Max-Planck institute für Informatik
Germany

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

Adam Rogalewicz
Brno University of Technology
Czech Republic

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, USA

Dan Rosén
Chalmers University of Technology
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, USA

Olivier Roussel
CRIL - CNRS UMR 8188
France

Cody Roux
Universite-Paris-Sud
France

Paul Rowe
The MITRE Corporation
USA

Marianna Rozenfeld
CSLI
Stanford University
Stanford, California, USA

Albert Rubio
Departamento LSI
Universitat Polytècnica de Catalunya
Barcelona, Spain

Harald Ruess
Computer Science Laboratory
SRI International
Menlo Park, California, USA

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

Salman Saghafi
WPI
USA

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, USA

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, USA

Ulrike Sattler
Department of Computer Science
University of Manchester
Manchester, England, U.K.

Guillaume SCERRI
CNRS LORIA/ENS Cachan
France

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, USA

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, USA

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, USA

Wolfgang Schreiner
Johannes Kepler University

Lutz Schröder
Friedrich-Alexander-Universität Erlangen-Nürnberg
Germany

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 Technik
Baden Württemberg Cooperative State University Stuttgart
Stuttgart, Germany

Johann Schumann
RIACS/NASA Ames
Moffett Field, California, USA

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, USA

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, USA

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, USA

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, USA

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, USA

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

Bahman Sistany
University of Ottawa
Canada

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, USA

Giora Slutzki
Iowa State University
USA

Alan Smaill
The University of Edinburgh
UK

Nick Smallbone
Chalmers University of Technology
Göteborg, Sweden

Douglas R. Smith
Kestrel Institute
Palo Alto, California, USA

Gert Smolka
Saarland University
Saarbrücken, Germany

Steffen Smolka
Technische Universitaet Muenchen
Germany

Rolf Socher-Ambrosius
Emden, Germany

Fran Soddell
Division of Information Technology
La Trobe University
Bendigo, Victoria, Australia

Viorica Sofronie-Stokkermans
University Koblenz-Landau
Germany

Andrew Sogokon
University of Edinburgh
UK

Fabio Somenzi
University of Colorado
Boulder, Colorado, USA

Rick Sommer
EPGY
Stanford, California, USA

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, USA

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

Christoph Sticksel
University of Iowa
USA

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, USA

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

Thomas Ströder
RWTH Aachen
Germany

Aaron D. Stump
Department of Computer Science
The University of Iowa
Iowa City, USA

K Subramani
West Virginia University
Morganstown, West Virginia, USA

Martin Suda
Max-Planck Institut fuer Informatik
Saarbrücken, Germany

Frank Sudia
San Francisco, California, USA

Thomas Sudkamp
Department of Computer Science
Wright State University
Dayton, Ohio, USA

Boontawee Suntisrivaraporn
Dresden University of Technology
Dresden, Germany

Geoff Sutcliffe
Department of Computer Science
University of Miami
Miami, Florida, USA

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

Jia Tao
Iowa State University
USA

Armagan Tarim
Department of Computer Science
University of York
York, England, U.K.

Tobias Tebbi
Saarland University
Germany

Lidia Tendera
University of Opole
Opole, Poland

René Thiemann
Research Group Computer Science II
RWTH Aachen
Aachen, Germany

Josh B. Thomas
Austin, Texas, USA

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, USA

Cesare Tinelli
Department of Computer Science
The University of Iowa
Iowa City, Iowa, USA

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, USA

David Toman
University of Waterloo
Waterloo, Ontario, Canada

Silvia Tomasi
DISI, University of Trento
Italy

Antonio Tomeu
Department of Computer Sciences
University of Cadiz, Spain

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, USA

Duc-Khanh Tran
Loria - Inria Lorraine
Nancy, France

Paolo Traverso
I.R.S.T.
Istituto Trentino di Cultura
Trento, Italy

Dmitriy Traytel
Technische Universität München
Germany

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, USA

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, USA

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, USA

Dale Vaillancourt
Northeastern University
Boston, Massachusetts, USA

Miguel Angel Vallejo
Departamento ISI
Universidad Polytecnica de Catalunya
Barcelona, Spain

Allen Van Gelder
University of California, Santa Cruz
Santa Cruz, California, USA

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, USA

Margus Veanes
Microsoft Research
USA

Miroslav Velev
Aries Design Automation
Chicago, IL, USA

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, USA

Robert Veroff
Department of Computer Science
University of New Mexico
Albuquerque, New Mexico, USA

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, USA

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, USA

Richard Waldinger
Artificial Intelligence Center
SRI International
Menlo Park, California, USA

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, USA

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

Michael Wessel
SRI International
USA

Stephen J. Westfold
Kestrel Institute
Palo Alto, California, USA

Bryan Whitehead
East Northport, NY, USA

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

Richard Williams
Liverpool University
UK - England

Wolfgang Windsteiger
Institut RISC
Hagenberg, Austria

Sarah Winkler
University of Innsbruck
Innsbruck, Austria

Victor Winter
University of Nebraska at Omaha
Omaha, Nebraska, USA

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, USA

Piotr Wojciechowski
West Virginia University
USA

Leslie Wolf
Naperville, Illinois, USA

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, USA

Graham Wrightson
Department of Computer Science and Software Engineering
The University of Newcastle
Callaghan, Australia

Wei Wu
Zhejiang University
CHINA

Zhe Wu
Oracle
USA

Hongwei Xi
Boston University
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, USA

Doron Zeilberger
Department of Mathematics
Temple University
Philadelphia, Pennsylvania, USA

Aleksandar Zeljić
Uppsala University
Sweden

Hantao Zhang
Department of Computer Science
The University of Iowa
Iowa City, Iowa, USA

Jian Zhang
Chinese Academy of Sciences
Beijing, China

Lan Zhang
University of Liverpool
United Kingdom

Nick Zhang
Ipedo, Inc
San Jose, California, USA

Ting Zhang
Stanford University
Palo Alto, California, USA

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.

Yoni Zohar
Tel-Aviv University
Israel

Daniele Zucchelli
LORIA and INRIA-Lorraine

Roland Zumkeller
Ecole Polytechnique
Palaiseau, France