Search ACM DL
Advanced Search
See also: Digital Library Home
All ACM Journals
Computational Logic (TOCL)
Menu
Home
Authors
Author Guidelines
ACM Policy for Appeals
Submission Site
ACM Author Rights
ACM Author Policies
Editors
Editorial Board
Conflict of Interest
Reviewers
Information and Guidelines
Reviewer Listing
Archive
About
About TOCL
Abstracting/Indexing
Contact
Subscribe
Social Media
linkedin
facebook
twitter
email
Editorial Board
Editor-in-Chief
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
Greece
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
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
Stéphanie Delaune
(Computer Security)
Université de Rennes, CNRS, IRISA
Rennes, France
Jürgen Giesl
(Automated Reasoning, Term Rewriting, Program Verification)
RWTH Aachen University
Germany
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 Universitat Munchen
Germany
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
India
Simona Ronchi Della Rocca
(Functional Programming and Lambda Calculus)
University of Torino
Italy
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
Australia
Pascal Van Hentenryck
(Constraint Programming)
The University of Melbourne
Australia
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
ACM
New York, United States
All ACM Journals | See
Full Journal Index