Computational Logic (TOCL)


Editorial Board


Orna Kupferman
School of Computer Science and Engineering, Hebrew University
Jerusalem, Israel

Assistant to the Editor-in-Chief

Eirini Kaldeli
National Technical University of Athens

Associate Editors

Albert Atserias
(Finite Model Theory and Proof Complexity)
Universitat Politècnica de Catalunya
Barcelona, Spain
Christel Baier
(Model Checking and Formal Analysis of Probabilistic Systems)
Technische Universität Dresden
Dresden, Germany
Chitta Baral
(Nonmonotonic Reasoning and Answer Sets)
Ira A. Fulton School of Engineering
Arizona, United States
Mikołaj Bojańczyk
(Logic and Automata)
University of Warsaw
Warsaw, Poland
Samuel R. Buss
(Logical Aspects of Computational Complexity)
University of California
California, United States
Hubert Comon-Lundh
(Computer Security)
LSV, CNRS & ENS de Cachan
Cedex, France
Anuj Dawar
(Logic, Automata and Complexity)
University of Cambridge
Cambridge, United Kingdom
Frank de Boer
(Verification Sequential and Concurrent Programs)
Centrum Wiskunde & Informatica (CWI)
Amsterdam, Netherlands
Danny De Schreye
(Logic Programming)
Katholieke Universiteit Leuven
Heverlee, Belgium
Jürgen Giesl
(Automated Reasoning, Term Rewriting, Program Verification)
RWTH Aachen University
Martin Hofmann
(Programming language theory, types, logic and complexit)
Institute of Informatics Ludwig-Maximilians-University
Munich, Germany
Thomas Lukasiewicz
(Logics of Uncertainty and for Knowledge Representation)
University of Oxford
Oxford , United Kingdom
Stephen Muggleton
(Logic and Machine Learning)
Imperial College of Science
United Kingdom
Tobias Nipkow
(Automated Verification)
Technische Universitat Munchen
Leszek Pacholski
(Finite Model Theory and Complexity of Logical Theories)
University of Wroclaw
Wroclaw, Poland
R. Ramanujam
(Modal and temporal logics, games and automata)
Institute of Mathematical Sciences
Simona Ronchi Della Rocca
(Functional Programming and Lambda Calculus)
University of Torino
Lenhart K. Schubert
(Logical Aspects of Computational Linguistics and Computational Semantics)
University of Rochester
United States
Scott A. Smolka
(Concurrency Calculi and Tools)
State University of New York at Stony Brook
United States
V.S. Subrahmanian
(Logics for probabilistic, fuzzy, temporal, and spatial information)
University of Maryland
United States
Alwen Tiu
(Proof theory and logical aspects of concurrency)
Australian National University
Pascal Van Hentenryck
(Constraint Programming)
The University of Melbourne
Victor Vianu
(Logical Aspects of Databases)
University of California
United States
Mahesh Viswanathan
Verification of probabilistic and cyberphysical systems
University of Illinois at Urbana-Champaign
Urbana, United States
Heribert Vollmer
(Logic and complexity)
Leibniz Universität Hannover
Hannover, Germany
Michael Zakharyaschev
(Logics for Knowledge Representation and AI)
Department of Computer Science and Information Systems
London, United Kingdom

ACM Headquarters Staff

Laura Lander
New York, United States
All ACM Journals | See Full Journal Index