A

C. Abbaneo, Ansaldo, Genova, TACAS

Gagan Agrawal, University of Delaware, CC

Paulo S. C. Alencar, University of Waterloo, FASE

Luca de Alfaro, University of California at Berkeley, TACAS

Torben Amtoft, Boston University, ESOP

A.M. Amendola, Ansaldo, Genova, TACAS

Luís Andrade, Oblog Software SA, INT

Kelly Androutsopoulos, King's College, London, FASE

Ola Angelsmark, University of Linköping, Sweden, CMCS

Matthias Anlauff, GMD First, Berlin, FASE

Tamarah Arons, The Weizmann Institute of Science, TACAS

David Aspinall, University of Edinburgh, TACAS

Egidio Astesiano, Università di Genova, FASE, INT

Lex Augusteijn, Philips Research Laboratories, Eindhoven, CC

John Aycock, University of Victoria, CC

Parosh Aziz Abdulla , Uppsala University, TACAS

B

Christel Baier, University of Bonn, FOSSACS

Michael Baldamus, University of Karlsruhe, Germany, CMCS

Sören Balko, Otto-von-Guericke University Magdeburg, INT

Michael Balser, University of Ulm, FASE

Alexandru Baltag, CWI, Amsterdam, The Netherlands, CMCS

Richard Banach, University of Manchester, UK, GRATRA

Ramesh Baradwaj , Naval Research Lab, TACAS

Roswitha Bardohl, Technical University of Berlin, TACAS, GRATRA

Gilles Barthe, INRIA, Sophia-Antipolis and Univ. Minho, FOSSACS

Michel Bauderon, University of Bordeaux 1, GRATRA

Kai Baukus, Christian-Albrechts-University of Kiel, TACAS

Françoise Bellegarde, LIFC, Université Franche Comte, FASE

Massimo Benerecetti, University of Trento, TACAS

Saddek Bensalem, VERIMAG, Grenoble, TACAS

Béatrice Bérard, Ecole Normale Supérieure de Cachan, FOSSACS

Michael R. Berthold, University of California at Berkeley, GRATRA

Per Bjesse, Chalmers University of Technology, TACAS

Jean-Paul Bodeveix, IRIT, Université Paul Sabatier, Toulouse, TACAS

Sébastien Bornot , VERIMAG, Grenoble, TACAS

Dragan Bosnacki, Eindhoven University of Technology, TACAS

Oliver Botti, ENEL Ricerca, Milano, FASE

Paolo Bottoni, University of Rome ``La Sapienza'', GRATRA

Richard Boulton, University of Edinburgh, TACAS

Marius Dorel Bozga, VERIMAG, Grenoble, TACAS

Arnulf Braatz, Universität Stuttgart / Fraunhofer IPA, INT

Peter Braun, Munich University of Technology, TACAS

Tevfik Bultan, University of California, Santa Barbara, TACAS

Peter Burmeister, Darmstadt University of Technology, GRATRA

Chris Burns, Bell Labs, Lucent Technologies, CC

Nadia Busi, Università di Bologna, ESOP

Samuel Buss, University of California, San Diego , CMCS

C

Benoît Caillaud, CNRS/INRIA, IRISA, GRATRA

Vincent Cao, Bell Labs, Lucent Technologies, CC

Frédérique Carrère, University of Bordeaux 1, GRATRA

Giuseppe Del Castillo, University of Paderborn, TACAS

Didier Caucal, IRISA-CNRS, Rennes, FOSSACS

Henry Cejtin, Entertainment Decisions, ESOP

Maura Cerioli, Università di Genova, INT

Witold Charatonik, Max-Planck Institut für Informatik, Saarbrücken, ESOP

Christine Choppy, Université Paris Nord, FASEINT

Corina Cirstea, Oxford University, UK, CMCS

David Clark, Imperial College, London, FASE

Edmund M. Clarke, Carnegie Mellon University, TACAS

M Clavel, Univ. Navarre, Spain, FASE

Graham Collins, University of Glasgow, TACAS

Stefan Conrad, Otto-von-Guericke University Magdeburg, INT

Andrea Corradini, University of Pisa, GRATRA

Roberto Di Cosmo, École Normale Supérieure de Paris, FOSSACS

Bruno Courcelle, University of Bordeaux 1, GRATRA

Don Cowan, University of Waterloo, FASE

D

Dennis Dams, Eindhoven University of Technology, TACAS

Ferruccio Damiani, Università di Torino, FOSSACS

Werner Damm, Carl von Ossietzky University of Oldenburg / OFFIS, INT

Olivier Danvy, BRICS, University of Aarhus, ESOP

Partha Dasgupta, Arizona State University, CBS

Giorgio Delzanno, Max-Planck-Institut für Informatik, Saarbrücken, TACAS

Ewen Denney, IRISA, Rennes, ESOP

Louise A. Dennis, University of Glasgow, TACAS

Ralph Depke, University of Paderborn, GRATRA

Jörg Desel, Katholischen Universität Eichstätt, INT

Frank Drewes, University of Bremen, FOSSACS, GRATRA

Henning Dierks, Carl von Ossietzky University of Oldenburg, FASE

Giovanna Dondossola, ENEL Ricerca, Milanos, FASE

Assia Doudou, Ecole Polytechnique Fédérale de Lausanne (EPFL), CBS

Mireille Ducassé, IRISA/INSA, Tutorial

Francisco J. Durán , SRI International, FASE

E

Rachid Echahed, IMAG, CNRS, Grenoble, GRATRA

Niklas Eén, Chalmers University of Technology, TACAS

Alexander Egyed, University of Southern California, FASE

Hartmut Ehrig, Technical University of Berlin, GRATRA, INT

Steven Eker, SRI International, FASE

Jacob Elgaard, BRICS, University of Aarhus, ESOP

Bettina Eva Enders, University of Essen, TACAS, GRATRA

Kai Engelhardt, University of Technology, Sydney, FOSSACS

Gregor Engels, University of Paderborn, GRATRA

Claudia Ermel, Technical University of Berlin, GRATRA

F

Lukas C. Faulstich, Freie Universität Berlin, GRATRA

Jean Claude Fernandez, VERIMAG, Grenoble, TACAS

José Luiz Fiadeiro, University of Lisbon, GRATRA, INT

Mamoun Filali, IRIT, Université Paul Sabatier, Toulouse, TACAS

Anthony Finkelstein, University College London, Tutorial

Ingrid Fischer, Friedrich-Alexander-University Erlangen-Nürnberg, GRATRA

Joachim Fischer, Humboldt University of Berlin, Tutorial

Kathleen S. Fisher, AT&T Labs Research, ESOP

Pascal Fradet, IRISA/INRIA, Rennes, FASE

G

Etienne M. Gagnon, McGill University, Montreal, CC

Magdalena Gajewsky, Technical University of Berlin, FASE, GRATRA

Benoit Garbinato, Linkvest, SwitzerlandCBS

David Gay , University of California at Berkeley, CC

Lucian Ghirvu, VERIMAG, Grenoble, TACAS

Curtis Gittens, University of Western Ontario, GRATRA

Fausto Giunchiglia, Università di Trento TACAS

Stefania Gnesi, Istituto di Elaborazione della Informazione del CNR, TACAS

Michael Goedicke, University of Essen, TACAS, GRATRA

Gregor Gößler, VERIMAG, Grenoble, TACAS

Michael Gordon, Rutgers University, CC

Michael J. C. Gordon, University of Cambridge, TACAS

David Gregg, Vienna University of Technology, CC

Martin Große-Rhode, Technical University of Berlin, INT

Pablo Gruer, Université de Technologie de Belfort-Montbéliard, FASE

Stefan Gruner, Te4chnical University of Berlin, GRATRA

Rachid Guerraoui, École Polytechnique Fédérale de Lausanne (EPFL), CBS

H. Peter Gumm, Marburg University, Germany, CMCS

H

Jo Erskine Hannay, University of Edinburgh, FOSSACS

Markus Hannebauer, Technical University of Berlin/GMD First, CBS

Michael Hanus, Christian-Albrechts-Unviersity of Kiel, Tutorial

Hans-Ludwig Hausen, GMD National Research Center for Information Technology, BonnTutorial

Anne Haxthausen, Technical University of Denmark, INT

Andrew Heaton, University of Leeds, ESOP

Reiko Heckel, University of Paderborn, GRATRA

Constance L. Heitmeyer, Naval Research Laboratory, Tutorial

Loïc Hélouët, CNRS/INRIA, IRISA, GRATRA

Juhana Helovuo, Tampere University of Technology, TACAS

Thomas A. Henzinger, University of California at Berkeley, TACAS

Laurie J. Hendren, McGill University, Montreal, CC

Mihaela Herescu, The Pennsylvania State University, FOSSACS

Holger Hermanns, University of Twente, TACAS

José Hernàndez-Orallo, Universitat de València, FASE

Vincent Hilaire, Université de Technologie de Belfort-Montbéliard, FASE

Pat Hill, University of Leeds, ESOP

Dan Hirsch, University of Buenos Aires, GRATRA

Berthold Hoffmann, University of Bremen, FOSSACS, GRATRA

Kathrin Hoffmann, Technical University of Berlin, FASE, GRATRA, CBS

Martin Hofmann, University of Edinburgh, ESOP

Leszek Holenderski, Eindhoven University of Technology, TACAS

Eckhardt Holz, Humboldt University of Berlin, Tutorial

Kohei Honda, Queen Mary and Westfield College, University London, ESOP

Furio Honsell, University of Udine and University of Edinburgh, FOSSACS

Jan Hoogerbrugge, Philips Research Laboratories, Eindhoven, CC

R. Nigel Horspool , University of Victoria, CC

Jacob M. Howe, University of Kent, ESOP

John Hughes, Chalmers University of Technology, ESOP

Marieke Huisman, University of Nijmegen, FASE

Kees Huizing, Eindhoven University of Technology, FASE

Thomas Hune, BRICS, University of Aarhus, FASE

Heinrich Hußmann, Technical University of Dresden, FASE

Jean-Francois Husson, IRIT Toulouse, FOSSACS

I

Valérie Issarny , IRISA/INRIA-Rocquencourt, FASE

J

Bart Jacobs, University of Nijmegen, The Netherlands, FASE, CMCS

Suresh Jagannathan, NEC Research Institute, ESOP

Jean-Christophe Janodet, IMAG, CNRS, Grenoble, GRATRA

Lars Jansen, Technische Universität Braunschweig, INT

Dirk Janssens, University of Antwerp, GRATRA

Claude Jard, CNRS/INRIA, IRISA, GRATRA

C. Barry Jay, University of Technology, Sydney, CBS

Thomas Jensen, IRISA, Rennes, ESOP

Somesh Jha, Carnegie Mellon University, TACAS

Sanjay Jinturkar, Bell Labs, Lucent Technologies, CC

Mark P. Jones, Oregon Graduate Institute of Science & Technology, ESOP

Bengt Jonsson, Uppsala University, TACAS

Jacques Julliand, LIFC, Université Franche Comte, FASE

K

Wolfram Kahl, University of the Federal Armed Forces Munich, GRATRA

Moataz Kamel, University of Waterloo, Canada, TACAS

Vijay Karamcheti, New York University, CBS

Holger Karl, Humboldt University of Berlin, CBS

Joost-Pieter Katoen, University of Twente, TACAS

Zvi M. Kedem, New York University, CBS

Gabriele Keller, University of Technology, Sydney, CBS

Richard A. Kemmerer, University of California, Santa Barbara, FASE

Delia Kesner, Université de Paris-Sud, FOSSACS

Lionel Khalil, École Normale Supérieure de Paris, GRATRA

Dae-Hwan Kim, Samsung Electronics, CC

Andy King, University of Kent, ESOP

Renate Klempien-Hinrichs, University of Bremen, GRATRA

Olaf Kluge, Technical University of Berlin, CBS

Jens Knoop, University of Dortmund, CC

Manuel Koch, University of Rome "La Sapienza", GRATRA, CBS

Paul Z. Kolano, Lockheed Martin, FASE

Elliot Kolodner, Tel Aviv University and IBM Haifa Research Laboratory, CC

Hidetaka Kondoh, Hitachi, FASE

Barbara König, Munich University of Technology, GRATRA

Oliver Köth, University of Erlangen-Nürnberg, Germany, GRATRA

Abder Koukam, Université de Technologie de Belfort-Montbéliard, FASE

Olga Kouchnarenko, LIFC, Université Franche Comte, FASE

Ulrich Kremer, Rutgers University, CC

Hans-Jörg Kreowski, University of Bremen, GRATRA

Jean-Pierre Krimm, VERIMAG, Grenoble, TACAS

Matthijs Kuiper, University of Utrecht, CC

Ruurd Kuiper, Eindhoven University of Technology, FASE

Alexander Kurz, Ludwigs-Maximilians-University of Munich, Germany, CMCS

Sabine Kuske, University of Bremen, GRATRA

Jochen Malte Küster, University of Paderborn, GRATRA

Philipp W. Kutter, ETH Zürich, FASE

Marta Kwiatkowska, University of Birmingham, TACAS

L

Anne Labroue, Ecole Normale Supérieure de Cachan, FOSSACS

Yassine Lakhnech, VERIMAG, Grenoble, TACAS

Patrick Lam, McGill University, Montreal, CC

Kevin Charles Lano, King's College, London, FASE

François Laroussinie, Ecole Normale Supérieure, Cachan, FOSSACS

Javier Larrosa, Technical University of Catalonia, Barcelona, GRATRA

Fredrik Larsson, Uppsala University, TACAS

Diego Latella, CNUCE-CNR, Pisa, TACAS

Julia L. Lawall, Boston University, ESOP

Edward A. Lee, University of California at Berkeley, TACAS

Christian Lengauer, University of Passau, GermanyCBS

Marina Lenisa, University of Udine, Italy, CMCS

Gabriele Lenzini, CNUCE-CNR, Pisa, TACAS

Stefan Leue, Albert-Ludwigs-University of Freiburg, Germany, TACAS

Huimin Lin, Chinese Academy of Sciences, FOSSACS

Yuan Lin, University of Illinois at Urbana-Champaign, CC

P Lincoln, SRI International, FASE

Mercè Llabrés, University of Pisa, GRATRA

Heiko Lötzbeyer, Munich University of Technology, TACAS

John Longley, University of Edinburgh, FOSSACS

Christoph Lüth, University of Bremen, FASE

M

Elena Machkasova, Boston University, ESOP

Tom Maibaum, King's College London, INT

Maria Emilia Maietti, University of Birmingham, FOSSACS

Harry G. Mairson, Boston University, ESOP

Rupak Majumdar, University of California at Berkeley, TACAS

Johann (Janos) A. Makowsky, Technion Haifa, GRATRA

Dino Mandrioli, Politecnico di Milano, FASE

Florence Maraninchi, VERIMAG, Grenoble, CC

P. Marmo, Ansaldo, Genova, TACAS

Wilfredo Marrero, Carnegie Mellon University, TACAS

Marco Ajmone Marsan, Politecnico di Torino, CBS

Narciso Martí Oliet, Universidad Complutense, Madrid, Fase, INT, Tutorial

Radu Mateescu, INRIA Rhône-Alpes, TACAS

Laurent Mauborgne , École Normale Supérieure, Paris, ESOP

Nenad Medvidovic, University of Southern California, FASE

Tom Melham , University of Glasgow, TACAS

Micaela Meo, Politecnico di Torino, CBS

Massimo Merro, INRIA Sophia-Antipolis, FOSSACS

Jose Meseguer, SRI International, Menlo Park, , FASE, CBS, Tutorial

Ron van der Meyden, University of New South Wales, FOSSACS

Jörg Meyer, FernUniversität Hagen, TACAS

Torsten Meyer, University of Essen, TACAS, GRATRA

Joachim Meyer-Kayser, Friedrich-Alexander-University Erlangen-Nürnberg, TACAS

Mark Minas, University of Erlangen-Nürnberg, Germany, GRATRA

Anders Møller, BRICS, University of Aarhus, ESOP

Ugo Montanari, University of Pisa, GRATRA

Luís Monteiro, New University of Lisbon, PortugalCMCS

Rémi Morin, Technical University of Dresden, FOSSACS

Greg Morrisett, Cornell University, ESOP

Christophe Morvan, IRISA, Rennes, FOSSACS

Yoram Moses, The Weizmann Institute of Science, Rehovot, Israel, FOSSACS

Till Mossakowski, University of Bremen, TACAS

Laurent Mounier, VERIMAG, Grenoble, TACAS

Dr. Markus Müller-Olm, University of Dortmund, ESOP

N

K. Narayan Kumar, SUNY at Stony Brook, TACAS

Alexander Nareyek, GMD First, CBS

Torsten Nelson, University of Waterloo, FASE

Flemming Nielson, University of Aarhus, ESOP

Hanne Riis Nielson, University of Aarhus, ESOP

Magnus Niemann, Technical University of Berlin, TACAS, GRATRA

Marcus Nilsson, Uppsala University, TACAS

Gethin Norman, University of Birmingham, TACAS

Michael Norrish, University of Cambridge, TACAS

O

Fernando Orejas, Technical University of Catalonia, Barcelona, GRATRA, INT

Sylvia L. Osborn, The University of Western Ontario, GRATRA

Gunnar Övergaard, Royal Institute of Technology in Stockholm, FASE

P

Peter Padawitz, University of Dortmund, Tutorial

Julia Padberg, Technical University of Berlin, FASE, GRATRA

David Padua, University of Illinois at Urbana-Champaign, CC

Valeria de Paiva, University of Birmingham, FOSSACS

Catuscia Palamidessi, The Pennsylvania State University, FOSSACS

Santosh Pande, University of Cincinnati, CC

Francesco Parisi-Presicce, University of Rome "La Sapienza", FASE, GRATRA

David A Parker, University of Birmingham, TACAS

András Pataricza, Budapest University of Technology and Economics, GRATRA

Dirk Pattinson, Ludwigs-Maximilians-University of Munich, Germany, CMCS

Paul Pettersson, Uppsala University, TACAS

Alfonso Pierantonio, University of L'Aquila, FASE

Jorge Sousa Pinto, École Polytechnique, Palaiseau, FOSSACS

Detlef Plump, University of Bremen, FOSSACS, GRATRA

Amir Pnueli, The Weizmann Institute of Science, TACAS

Arnd Poetzsch-Heffter, FernUniversität Hagen, TACAS

Pascal Poizat, Université de Nantes, IRIN , INT

Erik Poll, University of Nijmegen, The Netherlands, CMCS

Emmanuel Polonovski, École Normale Supérieure de Paris, FOSSACS

Patrice Pominville, McGill University, Montreal, CC

François Pottier, INRIA Rocquencourt, ESOP

John Power, University of Edinburgh, UK, CMCS

Andreas Prinz, Research Digital Media Systems GmbH, Tutorial

Q

Paola Quaglia, BRICS, University of Aarhus, FOSSACS

Jose Francisco Quesada, Centro Informatico Cientifico de Andalucia, Seville, FASE

R

Femke van Raamsdonk, Free University Amsterdam and CWI, FOSSACS

Jan M. Rabaey, University of California at Berkeley, CBS

Sriram K. Rajamani, Microsoft Research, TACAS

C. R. Ramakrishnan, SUNY Stony Brook, TACAS

I.V. Ramakrishnan, SUNY Stony Brook, TACAS

María José Ramírez Quintana, Universitat Politècnica de Valencia, FASE

Yannick Raoul, VERIMAG, Grenoble, CC

J.-F. Raskin, University of California at Berkeley, TACAS

Lawrence Rauchwerger, Texas A&M University, CC

Uday S. Reddy, University of Illinois, FOSSACS

Gianna Reggio, Università di Genova, FASE, INT

Wolfgang Reif, University of Ulm, FASE, INT

Yann Rémond, VERIMAG, Grenoble, CC

John Reppy, Bell Labs, Lucent Technologies, ESOP

Leila Ribeiro, Universidade Federale Do Rio Grande Do Sol, Brazil, GRATRA

Jon G. Riecke, Bell Labs, Lucent Technologies, ESOP

Eike Ritter, University of Birmingham, FOSSACS

Graham Robinson, University of Glasgow, TACAS

Peter Rodgers, University of Kent, GRATRA

Grigore Rosu, University of California at San Diego, USA, CMCS

Francesc Rosselló, Univ. de les Illes Balears, Spain, GRATRA

Martin Rößiger, Dresden University of Technology, Germany, CMCS

Gerald Roth, Gonzaga University, CC

Siegfried Rouvrais, IRISA/INRIA, Rennes, FASE

Abhik Roychoudhury, SUNY at Stony Brook, TACAS

Jean Claude Royer, Université de Nantes, IRIN, INT

Grzegorz Rozenberg, Universiteit Leiden, GRATRA evening session

Claudio Russo, University of Cambridge, ESOP

Oliver Rüthing, University of Dortmund, CC

Barbara G. Ryder , Rutgers University, CC

S

Gunter Saake, Otto-von-Guericke University Magdeburg, INT

Mooly Sagiv, University of Aarhus, CC, ESOP

Anders Sandholm, BRICS, University of Aarhus, FASE

Don Sannella, University of Edinburgh, FOSSACS

João Alexandre Saraiva, Universidade do Minho, Portugal, CC

Christoph Schaeffer, Universität Stuttgart / Fraunhofer IPA, INT

Bernhard Schätz, Munich University of Technology, TACAS

Gerhard Schellhorn, University of Ulm, FASE

Karsten Schmidt, Humboldt-University Berlin, TACAS

Eckehard Schnieder, Technische Universität Braunschweig, INT

Philippe Schnoebelen, Ecole Normale Supérieure, Cachan, FOSSACS

Tobias Schröder, University of Marburg, CMCS

Aleksy Schubert, Warsaw University, FOSSACS

Michael I. Schwartzbach, BRICS, University of Aarhus, ESOP

Roberto Segala, University of Bologna, TACAS

Helmut Seidl, University of Trier, ESOP

Matteo Sereno, Università degli Studi di Torino, CBS

Amilcar Sernadas, Technical University of Lisbon, INT

Natalia Sidorova, Eindhoven University of Technology, TACAS

Nirav Shah, Rutgers University, CC

Ran Shaham, Tel-Aviv University and IBM Haifa Research Laboratory, CC

Markus Siegle, Friedrich-Alexander-University Erlangen-Nürnberg, TACAS

Joseph Sifakis, VERIMAG, Grenoble, TACAS

Steve Sims, SUNY Stony Brook, TACAS

Konrad Slind, University of Cambridge, TACAS

Oscar Slotosch, Munich University of Technology, TACAS

Donald Smith , Rutgers University, CC

Frederick Smith, Cornell University, ESOP

Scott F. Smith, Johns Hopkins University, Baltimore, ESOP

Scott A. Smolka, SUNY at Stony Brook, TACAS

André Spiegel, Freie Universität Berlin, CBS

Karsten Stahl, Christian-Albrechts-University of Kiel, TACAS

Bjarne Steensgaard, Microsoft Research, CC

Bernhard Steffen, University of Dortmund, ESOP

Kurt Stenzel, University of Ulm, FASE

Perdita Stevens , University of Edinburgh, Tutorial

Marielle Stoelinga, University of Nijmegen, FOSSACS

Carsten Sühl, GMD First, Berlin, FASE

Asuman Sünbül, Technical University of Berlin, FASE

Vijay Sundaresan, McGill University, Montreal, CC

Doaitse Swierstra, Universiteit Utrecht, CC

T

Gabriele Taentzer, Technical University of Berlin, TACAS, GRATRA

Andrzej Tarlecki, Warsaw University and Polish Academy of Sciences, FOSSACS

Waibhav Tembe, University of Cincinnati, CC

Hendrik Tews, Dresden University of Technology, GermanyCMCS

Hayo Thielecke, Queen Mary and Westfield College, University London, ESOP

Peter Thiemann, Albert-Ludwigs-University of Freiburg, FOSSACS, CC

Andreas Thums, University of Ulm, FASE, INT

Ralf Treinen, CNRS - Université de Paris Sud, FOSSACS

Yih-Kuen Tsay, National Taiwan University, FOSSACS

Aliki Tsiolakis, TU berlin, GRATRA

Franklyn Turbak , Wellesley College, ESOP, ESOP

U

Gang-Ryung Uh, Bell Labs, Lucent Technologies, CC

V

Gabriel Valiente, Technical University of Catalonia, Barcelona, GRATRA

Raja Vallée-Rai, McGill University, Montreal, CC

Antti Valmari, Tampere University of Technology, TACAS

Dániel Varró, Budapest University of Technology and Economics, GRATRA

Gergely Varró, Budapest University of Technology and Economics, GRATRA

Vasco Thudichum Vasconcelos, University of Lisbon, ESOP

José Alberto Verdejo López, Universidad Complutense, Madrid, INT

Nico Verlinden, University of Antwerp, GRATRA

René Vestergaard, Heriot-Watt University, Edinburgh, ESOP

W

David Walker, Cornell University, UK, ESOP

David Walker, Oxford University, UK, FOSSACS

Farn Wang, Academia Sinica, TACAS

Lei Wang, University of Cincinnati, CC

Tiejun Wang, Johns Hopkins University, Baltimore, ESOP

Yuhong Wang, Florida State University, CC

Hiroshi Watanabe, , CMCS

Stephen Weeks, Intertrust STAR Laboratories, ESOP

Joe Wells, Heriot-Watt University, Edinburgh, ESOP

Heike Wehrheim, Carl von Ossietzky University of Oldenburg, FASE

Michel Wermelinger, Universidade Nova de Lisboa, GRATRA

Matthias Werner, Humboldt University of Berlin, CBS

Engelbert Westkämper, Universität Stuttgart / Fraunhofer IPA, INT

David Whalley, Florida State University, CC

Anthony J. Wilder, University of Wales Swansea, Tutorial

Kirsten Winter, GMD-FIRST, Berlin, TACAS

Alexander L. Wolf, University of Colorado at Boulder, FASE, GRATRA

Andreas Wolf, Christian-Albrechts-University Kiel, ESOP

Burkhart Wolff, University of Freiburg, FASE

Uwe Wolter, Technical University of Berlin, Germany, CMCS

James Worrell, Oxford University, UK, CMCS

X

Yuhong Xiong, University of California at Berkeley, TACAS

Y

Hongseok Yang, University of Illinois, FOSSACS

Wang Yi, Uppsala University, FOSSACS, TACAS

Nobuko Yoshida, University of Sussex, ESOP

Hao Yu, Texas A&M University, CC

Z

Gianluigi Zavattaro, Università di Bologn, ESOP

Pascal Zimmer, École normale supérieure de Lyon, FOSSACS

Andrea Zisman, University College London, Tutorial