Editors

Editor-in-Chief
Jasmin Blanchette, Vrije Universiteit Amsterdam, The Netherlands

Editorial Board
Jeremy Avigad, Carnegie Mellon University, USA
Franz Baader, Technical University Dresden, Germany
Gilles Barthe, IMDEA Software Institute, Spain
David Basin, ETH Zürich, Switzerland
Nikolaj Bjørner, Microsoft Research, Redmond, USA
Thomas Eiter, Technical University of Vienna, Austria
Amy Felty, University of Ottawa, Canada
Silvio Ghilardi, Università degli Studi di Milano, Italy
Reiner Hähnle, Technical University Darmstadt, Germany
John Harrison, Amazon, USA
Matti Järvisalo, Helsinki Institute for Information Technology, Finland
Cezary Kaliszyk, University of Innsbruck, Austria
Deepak Kapur, University of New Mexico, USA
Xavier Leroy, INRIA Paris - Rocquencourt, France
Assia Mahboubi, INRIA, LS2N, Université de Nantes, France
Aart Middeldorp, University of Innsbruck, Austria
Dale Miller, LIX, École Polytechnique, France
Peter Müller, ETH Zürich, Switzerland
Cesar A. Munoz, NASA Langley Research Center, USA
Tobias Nipkow,Technical University Munich, Germany
Michael Norrish, CSIRO, Kensington, Australia
Lawrence C. Paulson, University of Cambridge, UK
Ruzica Piskac, Yale University, USA
André Platzer, Carnegie Mellon University, USA
Andreas Podelski, University of Freiburg, Germany
Ulrike Sattler, University of Manchester, UK
Renate A. Schmidt, University of Manchester, UK
Martina Seidl, Johannes Kepler University, Austria
Nikhil Swamy, Microsoft Research, Redmond, USA
Cesare Tinelli, University of Iowa, USA
Christoph Weidenbach, Max-Planck-Institute for Informatics, Germany
Hongseok Yang, KAIST, Daejeon, South Korea

Founding Editor
Larry Wos, Argonne National Laboratory, USA