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
Meghyn Bienvenu
Knowledge representation and reasoning
CNRS & University of Bordeaux
Bordeaux, France
Samuel R. Buss
(Logical Aspects of Computational Complexity)
University of California
California, United States
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
Stéphanie Delaune
(Computer Security)
Université de Rennes, CNRS, IRISA
Rennes, France
Jürgen Giesl
(Automated Reasoning, Term Rewriting, Program Verification)
RWTH Aachen University
Valentin Goranko
(Modal and Temporal Logics, Logics for Multi-Agent Systems)
Stockholm University
Stockholm, Sweden
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 Universität München
Leszek Pacholski
(Finite Model Theory and Complexity of Logical Theories)
University of Wroclaw
Wroclaw, Poland
Brigitte Pientka
(Programming language theory, types, logic and complexity)
McGill University
Montreal, Canada
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

ACM Headquarters Staff

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