Editors
Editor-in-Chief:
Nir Piterman
University of Gothenburg
Department of Computer Science and Engineering
Germany
Editor-in-Chief Emeritus:
Daniel Kroening
University of Oxford
UK
Edmund M. Clarke, Jr.†
Carnegie Mellon University
USA
Editorial Board:
Erika Abraham, RWTH Aachen, Germany
Armin Biere, Johannes Kepler University, Austria
Luc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu Taiwan, Belgium
Masahiro Fujita, Tokyo University Japan
Ganesh L. Gopalakrishnan, University of Utah, USA
Orna Grumberg, The Technion, Israel
Aarti Gupta, Princeton University, USA
Nicolas Halbwachs, VERIMAG/CNRS, Grenoble, France
Warren A. Hunt Jr., The University of Texas, Austin, USA
Nils Klarlund, Google Inc., New York, USA
Laura Kovacs, Technical University of Vienna, Austria
Marta Kwiatkowska, University of Oxford, UK
Kim Larsen, Aalborg University, Denmark
Sharad Malik, Princeton University, USA
Tom F. Melham, University of Oxford, UK
Aloysius K. Mok, University of Texas, Austin, USA
Chris Myers, University of Utah, USA
Kedar S. Namjoshi, Bell Labs, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Andrei Paskevich, Paris-Sud University, France
Andreas Podelski, University of Freiburg, Germany
Francesco Ranzato, University of Padova, Italy
A. Prasad Sistla, University of Illinois, Chicago, USA
Scott A. Smolka, SUNY at Stony Brook, USA
Fabio Somenzi, University of Colorado, Boulder, USA
Georg Weissenbacher, Technical University of Vienna, Austria
Sergio Yovine, VERIMAG/Centre National de la Recherche Scientifique, France