Editors

Editor-in-Chief

Tobias Nipkow,Technical University Munich, Germany


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

Armin Biere, Johannes Kepler University, Austria

Nikolaj Bjørner, Microsoft Research, Redmond, USA

Diego Calvanese, Free University of Bozen-Bolzano, Italy

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

Deepak Kapur, University of New Mexico, USA

K. Rustan M. Leino, Amazon, Seattle, 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

Robert Nieuwenhuis, Technical University of Catalonia, Spain

Michael Norrish, CSIRO, Kensington, Australia

Lawrence C. Paulson, University of Cambridge, UK

Andreas Podelski, University of Freiburg, Germany

Ulrike Sattler, University of Manchester, UK

Renate A. Schmidt, University of Manchester, UK

Natarajan Shankar, SRI International, USA

Cesare Tinelli, University of Iowa, USA

Toby Walsh, National ICT Australia, Australia

Christoph Weidenbach, Max-Planck-Institute for Informatics, Germany

Hongseok Yang, KAIST, Daejeon, South Korea


Founding Editor

Larry Wos, Argonne National Laboratory, USA