Editors

Editor-in-Chief

Christel Baier, Technische Universität Dresden, Germany
baier@tcs.inf.tu-dresden.de


Editorial Board

Alessandro Abate, University of Oxford, UK
Ahmed Bouajjani, Université Paris Diderot, France
Patricia Bouyer-Decitre, CNRS Cachan, France
Manfred Broy, Technische Universität München, Germany
Jérémie Chalopin, LIF, CNRS et Aix-Marseille Université, France
Ugo Dal Lago, Università di Bologna, Italy
Giuseppe De Giacomo, Sapienza Università di Roma, Italy
Martin Dietzfelbinger, Technische Universität Ilmenau, Germany
Leah Epstein, University of Haifa, Israel
Javier Esparza, Technische Universität München, Germany
Henning Fernau, Universität Trier, Germany
Bernd Finkbeiner, Universität des Saarlandes, Germany
Erol Gelenbe, Imperial College London, UK
Monika Henzinger, University of Vienna, Austria
Gerwin Klein, NICTA, Kensington, and University of New South Wales, Sydney, Australia
Antonín Kučera, Masaryk University, Czech Republic
Leonid Libkin, University of Edinburgh, UK
Madhavan Mukund, Chennai Mathematical Institute, India
Ernst-Rüdiger Olderog, Universität Oldenburg, Germany
Luke Ong, University of Oxford, UK
Catuscia Palamidessi, INRIA Saclay, and LIX, Ecole Polytechnique, France
Prakash Panangaden, McGill University, Canada
Nir Piterman, University of Leicester, UK
André Platzer, Carnegie Mellon University, USA
Arto Salomaa, University of Turku, Finland
Davide Sangiorgi, Università di Bologna, Italy
Uli Sattler, University of Manchester, UK
Nicole Schweikardt, Humboldt-Universität zu Berlin, Germany
Paul Spirakis, University of Liverpool, UK
Ofer Strichman, Technion, Israel
Geoff Sutcliffe, University of Miami, USA
Luca Viganò, King’s College London, UK
Nobuko Yoshida, Imperial College London, UK


Founding Editors

Friedrich L. Bauer, Technische Universität München, Germany
Peter J. Denning, Monterey, USA
Michael J. Fischer, Yale University, USA
Donald E. Knuth, Stanford University, USA
Zohar Manna, Stanford University, USA
Dana Scott, Carnegie Mellon University, USA