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
|
京公网安备 11010802027423号