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