edited by Sven-Bodo Scholz, Olaf Chitil

edited by Franziska Klügl, Sascha Ossowski

edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling

edited by Werner Kuich, George Rahonis

edited by Marco T. Morazán, Sven-Bodo Scholz

edited by Ricardo Rocha, John Launchbury

edited by Gilles Barthe

edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos

edited by María Alpuente

edited by Harrie Swart

edited by Ganesh Gopalakrishnan, Shaz Qadeer

edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

edited by Lars Grunske, Ralf Reussner, Frantisek Plasil

edited by Paul Gastin, François Laroussinie

edited by Jürgen Dix, Cees Witteveen

edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz

edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand

edited by Simon Siegler, Nathan Wasser

edited by Edmund M. Clarke, Andrei Voronkov

edited by Santiago Escobar

edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer

edited by Tayssir Touili, Byron Cook, Paul Jackson

edited by Javier Esparza, Rupak Majumdar

edited by Matthias Blume, Naoki Kobayashi, German Vidal

edited by Matt Kaufmann, Lawrence C. Paulson

edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina

edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Luck, Jorge J. Gomez-Sanz

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ahmed Bouajjani, Oded Maler

edited by Silvio Ghilardi, Roberto Sebastiani

edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik

edited by Jaime G. Carbonell, J¥org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek

edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko

edited by Jaime Simao Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega

edited by Michael Luck, Lin Padgham

edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov

edited by Nachum Dershowitz Andrei Voronkov

edited by Lin Padgham Franco Zambonelli

edited by Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie

edited by Frank Pfenning

Noriega Pablo ; Dignum Virginia ; Boissier Olivier ; Matson Eric ; Vazquez-Salceda Javier ; Boella Guido ; Fornara Nicoletta ; SpringerLink (Online service)

edited by Rafael H. Bordini Mehdi Dastani J-rgen Dix Amal

Mycroft Alan ; Zeller Andreas ; SpringerLink (Online service)

MacCaull Wendy ; Winter Michael ; D-ntsch Ivo ; SpringerLink (Online service)

Boissier Olivier ; Matson Eric ; V-zquez-Salceda Javier ; Sichman Jaime ; Ossowski Sascha ; Lindemann Gabriela ; Dignum Virginia ; Padget Julian ; SpringerLink (Online service)

edited by Zhongzhi Shi Ramakoti Sadananada