Editors

Editor-in-Chief:

Nir Piterman
University of Gothenburg
Department of Computer Science and Engineering

Editor-in-Chief Emeritus:

Daniel Kroening
University of Oxford

Edmund M. Clarke, Jr.
Carnegie Mellon University

Editorial Board:

Erika Abraham,RWTH Aachen;Armin Biere, Johannes Kepler University;Luc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu Taiwan;Masahiro Fujita, Tokyo University; Ganesh L. Gopalakrishnan, University of Utah; Orna Grumberg, The Technion; Aarti Gupta, Princeton University; Nicolas Halbwachs, VERIMAG/CNRS, Grenoble; Warren A. Hunt Jr., The University of Texas, Austin; Nils Klarlund, Google Inc., New York; Laura Kovacs,Technical University of Vienna;Marta Kwiatkowska, University of Oxford; Kim Larsen, Aalborg University; Sharad Malik, Princeton University; Tom F. Melham, University of Oxford; Aloysius K. Mok, University of Texas, Austin; Chris Myers, University of Utah; Kedar S. Namjoshi, Bell Labs; Dejan Nickovic,Austrian Institute of Technology;Andrei Paskevich,Paris-Sud University;Andreas Podelski, University of Freiburg;Francesco Ranzato,University of Padova;A. Prasad Sistla, University of Illinois, Chicago; Scott A. Smolka, SUNY at Stony Brook; Fabio Somenzi, University of Colorado, Boulder; Georg Weissenbacher,Technical University of Vienna;Sergio Yovine, VERIMAG/Centre National de la Recherche Scientifique