JJ Abubakar Hassan Adam Darvas Adrian Francalanza Adrian Johnstone Agata Janowska Ahmed Bouajjani Ahmed Rezine Akihiko Tozawa Alain Ozanne Alan Hu Alan Mycroft Alberto Silva Alberto Simões Alberto Verdejo Alcino Cunha Aleksy Schubert Alessandra Di Pierro Alessandro Aldini Alessandro Ferrante Alessandro Lapadula Alessandro Orso Alexander Knapp Alexander Kurz Alexander Petrenko Alexander Reinhard Alexandre Petrenko Alexandre Sztajnberg Alfonso Acosta Amey Karkare Ana Cristina Vieira De Melo Ana Matos Ana Paiva Anaebom Chika Henry Anders Hessel Ando Saabas Andre Bottaro Andrea Corradini Andrea Flexeder Andreas Metzger Andrew Martin Andrew Pitts Andrew Tolmach Andrzej Wasowski Aniello Murano Ankur Taly Anthony Sloane Antoine Meyer Antoine Miné Anton Wijs Antonio Cerone Antónia Lopes Kings College London, Uk Eth Zurich, Switzerland Imperial College, England Royal Holloway, University of London, Uk Warsaw University, Poland Liafa, University of Paris 7, France Uppsala University, Sweden Ibm Tokyo Research Lab., Japan France Telecom R&d / Cnrs I3s, France University of British Columbia, Canada Cambridge University, Uk IST/inesc Id, Portugal Universidade do Minho, Portugal Universidad Complutense de Madrid, Spain Universidade do Minho, Portugal Institute of Informatics, Poland University of Verona, Italy University of Urbino, Italy, Italy Dipartimento Di Informatica Ed Applicazi. . . , Italy Dsiuf, Italy Georgia Tech, Usa Ludwig-maximilians-universität München, Deutschland University of Leicester, Uk Isp Ras, Russia Security Engineering Group, Rwth Aachen . . . , Germany Crim, Canada Uerj - Brazil, Brazil Kth, Sweden Iit Bombay, India USP, Brazil IST Lisbon, Portugal Feup, Portugal Plaza International College, Malaysia It, Uppsala University, Sweden Institute of Cybernetics, Estonia France Telecom, France Dipartimento Di Informatica, Pisa, Italy Tu Muenchen, Germany University of Duisburg-essen, Germany Ibm Research, Usa University of Cambridge, Uk Portland State University/inria, France Aalborg University (ciss), Denmark Università Degli Studi Di Napoli ”feder. . . , Italy Indian Institute of Technology, Bombay, India Macquarie University, Australia Liafa - Université Paris Vii, France Ecole Normale Supérieure, France CWI, The Netherlands United Nations University, Macau Sar China University of Lisbon, Portugal [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Arend Rensink Arie Gurfinkel Arnab Roy Arnaud Sangnier Arnd Poetzsch-heffter Ashish Tiwari Ashok Argent-katwala Ashok Argent-katwala Augusto Parma Barbara Jobstmann Barbara Jobstmann Bas Graaf Benedikt Bollig Benjamin Damet Bernd Finkbeiner Bernhard Aichernig Bernhard Scholz Bertrand Meyer Bin Zhou Björn Victor Blaise Genest Brendan Sheehan Bruno Berstel Bruno Marnette Byeongcheol Lee C. R. Ramakrishnan Caniart Nicolas Carl Seger Carlos Cetina Carolyn Talcott Carsten Kern Carsten Lutz Catalin Dima Catherine Meadows Cesar Sanchez Cesare Tinelli Cezara Dragoi Charles Pecheur Christian Genz Christian Haack Christian Koehler Christine Choppy Christophe Fouqueré Christophe Joubert Christopher Ackermann Christopher Condrat Christopher Dilloway Clara Bertolissi Claude Kirchner Claude Marché Claus Traulsen Clement Escoffier Colin Riba Constantin Enea Cristian Versari Cristiano Calcagno Cécile Hardebolle Cédric Meuter Damiano Zanardini Damien Pous Daniel Balasubramanian Daniel Grund Daniel Hirschkoff Daniel Kroening Daniel Varró Daniele Varacca David Aspinall David Macqueen David N. Jansen David Pichardie David Rosenblum David Stauch David Von Oheimb Davide Grohmann Denis Bechet Derek Dreyer Derek Mannering Detlef Plump Didier Hoareau University of Twente, The Netherlands Software Engineering Institute, Carnegie. . . , Usa Stanford University, United States Lsv - Ens Cachan - Cnrs, France Tu Kaiserslautern, Germany Sri International, Usa Department of Computing, Imperial Colleg. . . , Uk Imperial College London, United Kingdom Università Di Verona, Italy Tu Graz, Austria Graz University of Technology, Austria Delft University of Technology, The Netherlands Lsv, Cnrs & Ens Cachan, France Université Pierre Et Marie Curie (paris. . . , France Universität Des Saarlandes, Germany Tu Graz, Austria The University of Sydney, Australia Eth Zurich, Switzerland School of Computer, National University . . . , China Uppsala University, Sweden Irisa/cnrs, France University College Dublin, Ireland Ilog, France Ens de Cachan, France Ut Austin, Usa Stony Brook University, Usa Labri, France Intel/oxford, United Kingdom Technical University of Valencia, Spain Sri International, Usa Rwth University, Germany Tu Dresden, Germany Universite Paris 12, Lacl, France Nrl, Usa Stanford University, Usa The University of Iowa, Usa University of Bucharest, Romania Uc Louvain, Belgium University of Bremen, Germany Radboud University Nijmegen, Netherlands Centrum Voor Wiskunde En Informatica, Am. . . , The Netherlands Lipn, Univ Paris13, France Lipn - Université Paris 13, France University of Málaga / Lcc / Gisum, Spain Fraunhofer Usa - Cese, Usa Uofu, Usa Oxford University Computing Laboratory, Uk Lif-université de Provence, France Loria, France Inria Futurs, France University Kiel, Germany Grenoble University, France Loria, France Lacl, France & Univ. Iasi, Romania, France University of Bologna, Italy Imperial College London, Uk Supélec, France Université Libre de Bruxelles, Belgique Upm, Spain Ens Lyon, France Vanderbilt University, Us Saarland University, Germany Ens Lyon, France Eth Zuerich, Switzerland Budapest University of Technology and Ec. . . , Hungary Pps - University Paris 7, France Lfcs ¡- Informatics ¡- Edinburgh, Uk University of Chicago, Usa Rwth Aachen, Software Modelling and Veri. . . , Germany Inria/irisa, France University College London, United Kingdom Verimag, France Siemens Corporate Technology, Germany University of Udine, Italy Lina, France Toyota Technological Institute At Chicag. . . , Usa Open University, Uk University of York, Uk Valoria Lab, France [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Dietmar Schreiner Dilian Gurov Dina Goldin Dino Distefano Dirk Pattinson Doaitse Swierstra Dominik Wojtczak Dominique Méry Don Batory Don Sannella Doosan Cho Dorel Lucanu Doron Peled Dénes Bisztray Eelco Visser Einar Broch Johnsen Eleonora Sibilio Elisabete Freire Elizabeth Scott Emil Axelsson Emilie Balland Emina Torlak Emmanuel Fleury Eran Yahav Erez Petrank Eric Rutten Eric Van Wyk Erik Poll Esther Guerra Etienne Lozes Ewen Denney F William Lawvere Fabio Gadducci Fabio Tirelo Fang Ling Farhad Arbab Fausto Spoto Fernando Martins Fernando Orejas Flaminia Luccio Florence Maraninchi Florence Plateau Florent Bouchy Florent Jacquemard Florian Horn Florian Klein Francesco Santini Francesco Tiezzi Francisco Assis Moreira Do Nascimento Franck Van Breugel Franco Raimondi Francois Laroussinie Franjo Ivancic Frank De Boer Frank Hermann Frank Kraemer Franz Weber Franz Wotawa François-régis Sinot Frederic Blanqui Frederic Dadeau Frédéric Besson Frédéric Herbreteau Gabriel Ciobanu Gabriel Kalyon Gabriele Taentzer Gagarine Yaikhom Ganesan Ramalingam Gavin Lowe Geoff Hamilton George Edwards George Kuan Gerald Luettgen German Puebla Ghassan Oreiby Gheorghe Paun Gheorghe Stefanescu Gianfranco Ciardo Gianluigi Zavattaro Vienna University of Technology, Austria Kth Stockholm, Sweden Brown University, Usa Queen Mary, University of London, Uk Imperial College London, Uk Utrecht University, The Netherlands University of Edinburgh, Scotland, Uk Université Henri Poincaré & Loria, Vandoeuvre University of Texas At Austin, U.s.a. University of Edinburgh, United Kingdom Seoul National University, Korea Uaic, Romania Department of Computer Science, Bar Ilan. . . , Israel University of Leicester, United Kingdom Delft University of Technology, Netherlands University of Oslo, Norway Universita’ Degli Studi Di Verona, Italy Universidade dos Açores, Portugal University of London, Royal Holloway, England Computer Science and Engineering, Chalme. . . , Sweden Loria Inria, France Massachusetts Institute of Technology, United States Labri, Bordeaux-i University, France Ibm Research, Usa Microsoft Research and Technion, Usa Inria Rhone-alpes, France University of Minnesota, Usa Radboud University Nijmegen, Netherlands Universidad Carlos Iii de Madrid, Spain Lsv, Ens Cachan & Cnrs, France Riacs / Nasa Ames, Usa Suny At Buffalo, Usa University of Pisa, Italy Universidade do Minho, Portugal Department of Mathematical and Computing. . . , Japan CWI & Leiden University, Netherlands Universita’ Di Verona, Italy University Minho/portugal, Portugal Upc - Barcelona, Spain University of Venice, Italy Verimag / Inpgrenoble, France Lri - Inria, France Lsv - Cnrs & Ens Cachan, France Inria Futurs & Lsv-ens de Cachan, France Rwth - Aachen, France University of Paderborn, Germany Imt - Lucca, Italy Università Di Firenze, Italy Ufrgs/brazil, Brazil York University, Canada Ucl, London, Uk Lsv (cnrs, Ens Cachan), France Nec Labs, Usa CWI, Nl Technical University of Berlin, Germany Norwegian University of Science and Tech. . . , Norway Sap Ag, Germany Tug / IST, Austria Liacc - Universidade do Porto, Portugal Inria, France Lig / Inpg, France Irisa/inria, France Labri, Bordeaux, France, France Cuza University, Faculty of Computer Sci. . . , Romania Université Libre de Bruxelles, Belgique Universität Marburg, Germany University of Edinburgh, United Kingdom Microsoft Research India, India Oxford University, Uk Dublin City University, Ireland University of Southern California, Usa University of Chicago, Usa University of York, Uk Universidad Politecnica de Madrid, Spain Lsv - Ens Cachan, France Romanian Academy, Romania University of Bucharest, Romania University of California, Riverside, Usa Univ. of Bologna, Italy [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] erez [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Gilles Barthe Gordon Pace Govindarajan Ramaswamy Graham Steel Gregor Goessler Gregor Wrobel Gregory Batt Greta Yorsh Grigore Rosu Grégoire Sutre Guilherme Rangel Guillaume Brat Gábor Nagy Gérard Boudol Görel Hedin Günter Graw Han Gao Harmen Kastenberg Hartmut Ehrig Hayssam Soueidan Helmut Seidl Herbert Wiklicky Hermann Lehner Hillel Kugler Holger Hermanns Hongseok Yang Horst Schmidt Hubert Comon-lundh Hugo Simões Hugues Citeau Hwansoo Han Ian Mackie Ian Thorpe Ichiro Hasuo Igor Walukiewicz Iman Poernomo Imed Hammouda Iovka Boneva Itai Segall Ivan Zapreev J. Christian Attiogbe Jacek Ratzinger Jacob Illum Rasmussen Jacob Thamsborg Jacopo Mantovani Jacques Sakarovitch James Brotherston James Worrell Jan Bosch Jan Cederquist Jan Olaf Blech Jan Tobias Muehlberg Jaroslav Sevcik Jean Bezivin Jean-baptiste Note Jean-francois Raskin Jean-jacques Levy Jean-marie Jacquet Jens Bæk Jørgensen Jens Knoop Jeremy Bradley Jeremy Condit Jeremy Sproston Jeroen Fokker Jerome Leroux Jerry Den Hartog Jesper Bengtson Jinqing Yu Jiri Adamek Jochen Pfalzgraf Joel Ouaknine Johann Blieberger John G. Morrisett Jon Whittle Joost-pieter Katoen Jose Eduardo Pina Miranda Jose Espirito Santo Joseph Kiniry Joseph Stoy Inria, France University of Malta, Malta Indian Institute of Science, India University of Edinburgh, Uk Inria Rhône-alpes, France Society For The Promotion of Applied Com. . . , Germany Verimag, France Tel Aviv University, Israel University of Illinois At Urbana-champai. . . , Usa Cnrs / Labri, France Tu-berlin, Germany Riacs, Usa Alvicom Ltd., Hungary Inria, France Lund University, Sweden Uni Dortmund, Germany Technical University of Denmark, Denmark University of Twente, The Netherlands Faculty Iv, Germany Labri, France Tu München, Germany Imperial College London, Uk Eth Zurich, Switzerland New York University, Usa Saarland University, Germany Queen Mary, University of London, Uk Universität, Germany Lsv, Ecole Normale Sup. Cachan, France Liacc - Universidade do Porto, Portugal Ilog, France Kaist, Republic Of Korea King’s College London, Uk No Institution, Uk Radboud University Nijmegen, The Netherlands Labri, Cnrs Bordeaux, France King’s College London, Uk Tampere University of Technology, Finland University of Twente, Netherlands The Weizmann Institute of Science, Israe. . . , Israel The University of Twente, Netherlands Lina - University of Nantes, France Vienna University of Technology, Austria Aalborg University, Denmark It University of Copenhagen, Denmark University of Genova, Italy Cnrs / Enst, France Imperial College London, Uk Oxford University, England Nokia, Finland IST, Portugal Universitaet Kaiserslautern, Germany University of York, Uk University of Edinburgh, United Kingdom Inria, France École Normale Supérieure, France Université Libre de Bruxelles, Belgium Inria Et Msr-inria, France University of Namur, Belgium University of Aarhus, Denmark Tu Vienna, Austria, Austria Imperial College, Uk Uc Berkeley, Usa Universita‘ Di Torino, Italy Utrecht University, Netherlands Cnrs / Labri, France University of Twente, The Netherlands Department of Information Technology, Sweden University of California At Riverside, Usa Technical University Braunschweig, Germany University of Salzburg, Austria Oxford University, Uk Tu Vienna, Austria Harvard University - Seas, U.s.a. George Mason University, Usa Computer Science 2, Rwth Aachen, Germany Multicert S.a., Portugal University of Minho, Portugal University College Dublin, Ireland Bluespec, Inc, Usa [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Josh Berdine Joshua Guttman José Barros José Campos José Luiz Fiadeiro José Valença José Vilaça Jozef Gruska João Carlos Cardoso Da Silva João Faria João Miguel Fernandes Juan De Lara Juergen Dingel Jules Villard Julia Padberg Julian Rathke Juliana Kuster Filipe Bowles Jun Pang Jurgen Vinju Jácome Cunha Karl Trygve Kalleberg Karsten Ehrig Kenneth Knowles Keoncheol Shin Kim Larsen Klaus Dräger Koen Claessen Kohei Honda Kohei Suenaga Konrad Slind Krishnendu Chatterjee Kung-kiu Lau Kuntal Loya Kyoko Iwasawa Lars Birkedal Laurent Doyen Laurent Mauborgne Leen Lambers Lennart Beringer Lijesh Manjacheri Lijun Zhang Lionel Morel Louis Mandel Luca Bortolussi Luca Cardelli Lucia Acciai Luis Barbosa Luis Damas Luis Dominguez Luis Pedro Luis Pinto Lurdes Sousa Lutz Schröder Luı́s Caires Lydie Du Bousquet Madhusudan Parthasarathy Magambo Philipo Magnus Johansson Magnus Myreen Maik Kollmann Manfred Schmidt-schauss Manuel Barbosa Manuel Hermenegildo Manuela Sobral Marc Aiguier Marc Eaddy Marc Fisher Marc Galceran Oms Marcelo Santos Marco Carbone Maria Grazia Buscemi Maria Grazia Vigliotti Maria João Frade Maria João Varanda Pereira Marian Boldt Mariano Moscato Marie-claude Gaudel Marieke Huisman Mariela Pavlova Microsoft Research, Uk The Mitre Corporation, Usa Dium, Portugal Universidade do Minho, Portugal University of Leicester, Uk José Valença, Portugal Universidade do Minho, Portugal Faculty of Informatics, Czech Republik Universidade do Minho, Portugal Feup, Portugal Universidade do Minho, Portugal Universidad Autónoma de Madrid, Spain Queen’s University, Canada Lsv, Ens Cachan, Cnrs, France Technische Universität Berlin, Germany University of Southampton, United Kingdom University of Birmingham, Uk University of Oldenburg, Germany CWI, The Netherlands University of Minho, Portugal University of Bergen, Norway University of Leicester, United Kingdom University of California, Santa Cruz, Usa Kaist, Republic Of Korea Aalborg University, Denmark Universität Des Saarlandes, Germany Chalmers University of Technology, Sweden Queen Mary, University of London, Uk University of Tokyo, Japan University of Utah, Usa Uc Berkeley, Usa The University of Manchester, United Kingdom Microsoft, India Takushoku University, Japan It University of Copenhagen, Denmark Epf Lausanne, Switzerland École Normale Supérieure, France Softwaretechnik Und Theoretische Informa. . . , Germany University of Munich, Germany University of Minnesota, Usa University of Saarland, Germany Inria - Irisa, France Inria Rocquencourt, France University of Trieste, Italy Microsoft Research Ltd, England Lif - Université de Provence, Marseille, France Univ. Minho, Portugal Liacc-up-pt, Portugal I. S. Técnico, Portugal Computer Science Department, University . . . , Switzerland University of Minho, Portugal Estv, IP Viseu, Portugal Univ. Bremen and Dfki-lab Bremen, Germany Universidade Nova de Lisboa, Portugal Lig, Ujf, France Uiuc, Usa, Usa Gonek Enterprises, Tanzania Department of Information Technology, Sweden University of Cambridge, Uk Tu Braunschweig - Ifis, Germany Computer Science; Uni Frankfurt, Germany Di - Universidade do Minho, Portugal Universidad Politecnica de Madrid, Spain University of Coimbra, Portugal University of Evry, France Columbia University, Usa University of Nebraska, United States Of America Universitat Politècnica de Catalunya, Spain Malardalan University, Sweden Imperial College London, United Kingdom Imt Lucca, Italy Imperial College, Uk Universidade do Minho, Portugal Instituto Politécnico de Bragança, Portugal University of Kiel, Germany Universidad de Buenos Aires, Argentina Lri, Univ. Paris-sud, France Inria Sophia Antipolis, France Inria, Germany [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] c [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Mariela Pavlova Mario Berón Mario Mendez Lojo Mariza Bigonha Marjan Mernik Mark Van Den Brand Mark Woodcock Markus Bach Markus Lumpe Markus Müller-olm Markus Roggenbach Marlon Dumas Marsha Chechik Martin Berger Martin Bravenboer Martin Elsman Martin Fränzle Martin Kuhlemann Martin Leucker Martin Odersky Martin Ouimet Martin Strecker Martin Wirsing Martins Gills Mary Jean Harrold Mary Sheeran Masataka Sassa Massimo Bartoletti Massimo Benerecetti Massimo Tivoli Mathieu Braem Matteo Maffei Matthew Dwyer Matthew Hague Matthew Hennessy Matthias Blume Maura Cerioli Maurice Ter Beek Max Goldman Michael Batchelder Michael Hinchey Michael Huth Michael Mendler Michael Smith Michail Anastasopoulos Michal Walicki Michel Bidoit Michel Leconte Mieke Massink Miguel Pessoa Monteiro Miguel Zamalloa Mihaela Gheorghiu Mihaela Sighireanu Mohamed Lakoh Mohammad Torabi Dashti Mohammed Al-mansari Moshe Vardi Mário Florido Naoki Kobayashi Naoki Yonezaki Narciso Marti-oliet Natasha Sharygina Nathan Chong Nektarios Georgalas Nelma Moreira Nicolas Halbwachs Nicolas Markey Nicolas Perrin Nicoletta Sabadini Niels Joncheere Nigel Horspool Nina Amla Nirav Dave Noam Rinetzky Nobuko Yoshida Noomene Ben Henda Nuno Rodrigues Olaf Spinczyk Olivier Pereira Inria Sophia-antipolis, Germany Universidade do Minho, Portugal University of New Mexico, Usa Ufmg, Brazil University of Maribor, Slovenia Technische Universiteit Eindhoven, The Netherlands Us Dod, Usa University Hagen, Germany Iowa State University, United States Universität Münster, Germany University of Wales Swansea, United Kingdom Queensland University of Technology, Australia University of Toronto, Canada Imperial College, Uk Delft University of Technology, The Netherlands It University of Copenhagen, Denmark Dpt. of Cs, Universität Oldenburg, Germany University of Magdeburg, Germany Tu Munich, Germany Epfl, Switzerland Massachusetts Institute of Technology, Usa Université Paul Sabatier, France Lmu Munich, Germany Hansabank, Latvia Georgia Institute of Technoloy, Usa Chalmers, Sweden Tokyo Institute of Technology, Japan Dip. Informatica - Univ. Pisa, Italy Università Di Napoli ”federico Ii”, Italy University of L’aquila, Italy Vrije Universiteit Brussel, Belgium Saarland University, Germany University of Nebraska - Lincoln, Usa Oxford University, Uk U of Sussex, Uk Tti Chicago, Usa Disi - Univ. Di Genova, Italy Isti-cnr, Italy Mit, Usa Mcgill University, Usa Loyola College, Usa Imperial College London, United Kingdom University of Bamberg, Germany University of Edinburgh, United Kingdom Fraunhofer Iese, Germany University of Bergen, Norway Lsv - Cnrs & Ens Cachan, France Ilog, France Cnr-isti, Italy Fct/new University of Lisbon, Portugal Universidad Complutense, Spain University of Toronto, Canada Liafa University of Paris 7, France Music Maker Entertainment Centre, Sierra Leone CWI, The Netherlands University of Duisburg-essen, Germany Rice University, Usa Universidade do Porto, Portugal Tohoku University, Japan Tokyo Institute of Technology, Japan Universidad Complutense de Madrid, Spain University of Lugano, Switzerland Arm Ltd., Uk British Telecom, Uk Liacc, Portugal Verimag/cnrs, France Lsv - Ens Cachan & Cnrs, France Ens Lyon, France Università Degli Studi Dell’insubria, Italy Vrije Universiteit Brussel, Belgium University of Victoria, Canada Cadence Design Systems, Usa Mit, Usa Tel Aviv University, Israel Imperial College London, Uk Department of Information Technology, Sweden Universidade do Minho, Portugal University of Erlangen, Germany Universite Catholique de Louvain, Belgium [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] music1 [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected]. [email protected] Olivier Tardieu Orna Grumberg Oystein Ra Pablo Berdaguer Paola Spoletini Paolo Baldan Paritosh Pandya Parosh Abdulla Pascal Raymond Pascale Le Gall Patricia Bouyer Patrizia Scandurra Paul Brauner Paul Kelly Paul Pettersson Paula Valenca Paulo Silva Pavel Jezek Pavel Krcal Pavol Cerny Pawel Sobocinski Pedro Baltazar Pedro Vasconcelos Perdita Stevens Perla Velasco Elizondo Peter Mosses Peter Müller Peter Szulman Peter Wong Philippa Conmy Philippe Schnoebelen Pierpaolo Degano Pierre-etienne Moreau Pierre-yves Schobbens Pietro Cenciarelli Pietro Ferrara Professor Arvind Quang The Tran Radha Jagadeesan Radu Kopetz Rafal Chmielewski Rajkishore Barik Ralf Reussner Rance Cleaveland Regis Gascon Reiko Heckel Reinhard Wilhelm René Wörzberger Ricardo J. Machado Riccardo Focardi Ridha Khedri Rob Ennals Rob Hierons Robby Findler Robert Walters Roberto Bigonha Roberto Lopez-herrejon Roberto Segala Roberto Zunino Rocco De Nicola Rodrigo Ferreira Rogério Reis Rogério Paulo Rolf Hennicker Roly Perera Romain Robbes Roman Manevich Roy Grønmo Rugang Xu Rustan Leino Rémi Brochenin Rüdiger Grammes Sabine Broda Sagar Chaki Salem Derisavi Samik Basu Samin Ishtiaq Samir Genaim Samuel Colin Inria Sophia Antipolis, France Technion, Israel Buskerud University College, Norway Umunho, Portugal Politecnico Di Milano, Italy Universita‘ Di Padova, Italia Tata Institute (tifr), India Uppsala University, Sweden Verimag/cnrs, France University of Evry, France Oxford University, Uk University of Milan - Dti, Italy Loria, France Imperial College London, Uk Uppsala University / Mälardalen Univers. . . , Sweden Universidade do Minho, Portugal Universidade do Minho, Portugal Charles University In Prague, Czech Republic Uppsala University, Sweden University of Pennsylvania, Usa University of Southampton, United Kingdom Clc and Sqig-it, IST-lisbon, Portugal Dcc / Fcup, Portugal University of Edinburgh, Uk University of Manchester, United Kingdom Swansea University, United Kingdom Eth Zurich, Switzerland Fzi Research Center For Information Tech. . . , Germany University of Oxford, Uk University of York, Uk Lsv - Cachan, France Dipartimento Di Informatica – U. Pisa, Italia Inria & Loria, France University of Namur, Belgium University of Rome - ”la Sapienza”, Italy Ecole Polytechnique Paris, Università C. . . , Paris Mit, Usa Labri, Bordeaux, France, France School of Cti, Depaul, Usa Inria & Loria, France Comarch S.a., Poland Ibm, India University of Karlsruhe (th), Germany University of Maryland, Usa Lsv - Ens Cachan & Cnrs, France University of Leicester, Uk Universität Des Saarlandes, Germany Rwth Aachen, Germany Universidade do Minho, Portugal University of Venice, Italy, Italy Mcmaster University, Canada Intel Research, Berkeley, Usa Brunel University, Uk University of Chicago, Usa Università Degli Studi Dell’insubria, Italy Ufmg, Brazil University of Oxford, England University of Verona, Italy Dip. Informatica - Università Di Pisa, Italy Università Di Firenze, Italy Yale University, Usa Liacc-up, Portugal Efacec, Portugal University of Munich, Germany Dynamic Aspects, United Kingdom University of Lugano, Switzerland Tel Aviv University, Israel Sintef & Univ. of Oslo, Norway Ucla, United States Microsoft Research, Usa Lsv - Ens de Cachan, France University of Kaiserslautern, Deutschland Liacc-university of Porto, Portugal Software Engineering Institute, Carnegie. . . , Usa Carleton University, Canada Iowa State University, Usa Arm, England Universidad Politecnica de Madrid, Spain Loria - Dedale Team, France [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Sandra Alves Santosh Nagarakatte Sarah Zennou Saswat Anand Sava Krstic Sebastian Hack Sebastian Kupferschmid Seonggun Kim Sergiy Boroday Shahar Maoz Shaz Qadeer Shin Nakajima Shinya Sato Shirley Goldrei Shmuel Katz Shriram Krishnamurthi Shuling Wang Siavash Mir Arabbaygi Sigmund Cherem Sophia Drossopoulou Sotiris Moschoyiannis Srinath Srinivasa Stefan Göller Stefan Rieger Stefania Gnesi Stefano Tonetta Stehpen Osei Owusu Steve Harkins Steve Kremer Steven Miller Stéphanie Delaune Sylvain Lippi Sylvain Schmitz Taeke Kooiker Takumi Endo Takuo Watanabe Tarmo Uustalu Tayssir Touili Theo Ruys Thierry Massart Thomas Gawlitza Thomas Jensen Thomas Maibaum Thomas Melham Thomas Noll Thomas Schneider Thomas Wies Thorsten Hermes Thorsten Schubert Tiago Alves Tijs Van Der Storm Till Mossakowski Timothy Sheard Tingting Han Tiphaine Turpin Tiziana Margaria Tom Chothia Torbjörn Ekman Torbjörn Lundkvist Ugo Montanari Ulrik Nyman Ulrike Prange Ulrike Ranger Uwe Wolter Uwe Assmann Viktor Kuncak Vincenzo Ciancia Vittorio Cortellessa Vivek Nigam Vivek Sarkar Vladimiro Sassone Véronique Cortier Warren A. Hunt, Jr Werner M. Dietl Willem-paul De Roever Wim Vanderperren Wolf Zimmermann Xabier Aretxandieta Xiaotie Deng University of Porto, Portugal Indian Institute of Science, India Cea-list, France Georgia Institute of Technology, Usa Intel Corporation, Usa Ens Lyon, France University of Freiburg, Germany Kaist, Republic Of Korea Crim, Canada The Weizmann Institute of Science, Israel Microsoft Research, Usa National Institute of Informatics, Japan King’s College London, Uk Macquarie University, Australia Technion, Israel Brown University, Usa Minho University, Portugal University of Waterloo, Canada Cornell University, Usa Imperial College London, Uk University of Surrey, United Kingdom International Institute of Information T. . . , India Fmi, Germany Rwth Aachen University, Germany Isti-cnr, Italy University of Lugano, Switzerland Ticbs, Southafrica Helixion Ltd, Scotland Lsv, Ens Cachan & Cnrs & Inria, France Rockwell Collins Inc, Usa Loria, France Université de Nice - Cnrs I3s, France Laboratoire I3s, Université de Nice Sop. . . , France CWI, Netherlands Saitama University, Japan Tokyo Institute of Technology, Japan Institute of Cybernetics, Estonia Liafa, Cnrs & Univ. Paris7, France University of Twente, The Netherlands Ulb, Belgium Tum München, Germany Irisa/cnrs, France Mcmaster University, Canada Oxford University, England Rwth Aachen University, Germany University of Jena, Germany, Germany University of Freiburg, Germany Rwth Aachen, Germany Offis E.v., Germany Esa, Germany Centrum Voor Wiskunde En Informatica (cw. . . , The Netherlands Dfki Lab Bremen, Germany Portland State University, Usa University of Twente, Germany Irisa/université de Rennes 1, France University of Potsdam, Germany CWI, Netherlands Oxford University, United Kingdom Åbo Akademi University, Finland University of Pisa, Italy Aalborg University, Denmark Technical University of Berlin, Germany Rwth Aachen University, Germany University of Bergen, Norway Technische Universität Dresden, Germany Epfl, Usa Dipartimento Di Informatica, Università. . . , Italy Universita’ Dell’aquila, Italy Ecole Polytechnique, France Ibm, Usa Southampton, Uk, United Kingdom Loria, Cnrs, France University of Texas, United States Eth Zurich, Switzerland Department of Computer Science, Germany Wim Vanderperren, Belgium University of Halle, Germany Mondragon University, Spain City University of Hong Kong, China [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Xin Zhou Xinyu Feng Yan Jurski Yannick Moy Yasuhiko Minamide Yih-kuen Tsay Yoshinobu Kawabe Yu-fang Chen Yunheung Paek Yuri Gurevich Yuxin Deng Yves Guiraud Zvonimir Rakamaric Ákos Horváth Ibm China Research Lab, P.r.china Yale University, U.s.a. Liafa, France Lri, Univ Paris-sud Orsay, France University of Tsukuba, Japan National Taiwan University, Taiwan Ntt Corporation, Japan National Taiwan University, Taiwan Seoul National University, Korea Microsoft Research, Usa Shanghai Jiao Tong University, China Inria, France University of British Columbia, Canada Department of Measurement and Informatio. . . , Hungary [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected]
Download
