ACM Transactions on Computational Logic (TOCL)

Editorial Board

Editor-in-Chief

Vladimir Lifschitz
Department of Computer Sciences
University of Texas at Austin
University Station C0500, TX 78712-0233
USA
tel +1 (512) 471-9564
fax +1 (512) 471-8885
vl@cs.utexas.edu

Editorial Assistant

Yuliya Lierler
Department of Computer Sciences
University of Texas at Austin
University Station C0500, TX 78712-0233
USA
yuliya@cs.utexas.edu


Area Editors

  • Krzysztof R. Apt (Program Development and Verification)
    CWI
    Kruislaan 413
    1098 SJ Amsterdam
    The Netherlands
    k.r.apt@cwi.nl

  • Chitta Baral (Nonmonotonic Reasoning and Answer Sets)
    Department of Computer Science and Engineering
    Ira A. Fulton School of Engineering
    Brickyard Suite 572, 699 S. Mill Avenue
    Tempe, AZ 85281-8809
    USA
    chitta@asu.edu


  • Johan van Benthem (Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games)
    Institute for Logic, Language and Computation (ILLC)
    University of Amsterdam
    Plantage Muidergracht 24, 1018 TV Amsterdam
    The Netherlands
    johan@science.uva.nl


  • Samuel R. Buss (Logical Aspects of Computational Complexity)
    Department of Mathematics
    University of California, San Diego
    La Jolla, CA 92093-0112
    USA
    sbuss@ucsd.edu

  • Ernest Davis (Logical Aspects of Knowledge Representation; Logic of Geometry, Physics, and Other Commonsense Domains)
    Department of Computer Science
    New York University
    251 Mercer St.
    New York, NY 10012
    USA
    davise@courant.nyu.edu

  • Dale Miller (Proof Theory)
    Dale Miller
    Laboratoire d'Informatique, LIX
    Ecole Polytechnique
    F-91128 PALAISEAU Cedex
    France
    dale@lix.polytechnique.fr

  • John C. Mitchell (Computer Security)
    Department of Computer Science
    Stanford University
    Stanford CA 94305-9045
    USA
    mitchell@cs.stanford.edu

  • Carroll Morgan (Program Specification)
    Department of Computer Science and Engineering, K17
    The University of New South Wales
    Sydney, NSW 2052
    Australia
    carrollm@cse.unsw.edu.au

  • Stephen Muggleton (Logic and Machine Learning)
    Department of Computing
    Imperial College of Science, Technology and Medicine
    180 Queen's Gate
    London SW7 2BZ
    United Kingdom
    s.muggleton@doc.ic.ac.uk

  • Tobias Nipkow (Automated Verification)
    Institut für Informatik
    Technische Universität München
    80290 München
    Germany
    nipkow@in.tum.de

  • Leszek Pacholski (Finite Model Theory and Complexity of Logical Theories)
    Instytut Informatyki
    Uniwersytet Wroclawski
    Przesmyckiego 20
    51-151 Wroclaw
    Poland
    pacholsk@tcs.uni.wroc.pl

  • David A. Plaisted (Automated Deduction and Term Rewriting Systems)
    Department of Computer Science
    CB# 3175, 352 Sitterson Hall
    University of North Carolina at Chapel Hill
    Chapel Hill, North Carolina 27599-3175
    USA
    plaisted@cs.unc.edu

  • Gordon D. Plotkin (Type Theory and Logical Frameworks)
    Division of Informatics
    University of Edinburgh
    James Clerk Maxwell Building
    King's Buildings
    Edinburgh, EH9 3JZ
    United Kingdom
    gdp@inf.ed.ac.uk

  • Henri Prade (Logics of Uncertainty)
    Institut de Recherche en Informatique de Toulouse (IRIT)
    Universite Paul Sabatier
    Bat. 1R3
    118 route de Narbonne
    31062 Toulouse Cedex 4
    France
    Henri.Prade@irit.fr

  • Simona Ronchi Della Rocca (Functional Programming and Lambda Calculus)
    Department of Computer Science
    University of Torino
    Corso Svizzera 185
    10149 Torino
    Italy
    ronchi@di.unito.it

  • Danny De Schreye (Logic Programming)
    Department Of Computer Science
    Katholieke Universiteit Leuven
    Celestijnenlaan 200 A
    3001 Heverlee
    Belgium
    Danny.DeSchreye@cs.kuleuven.ac.be

  • Lenhart K. Schubert (Logical Aspects of Computational Linguistics and Computational Semantics)
    Computer Science Department
    University of Rochester
    Rochester, NY 14627-0226
    USA
    schubert@cs.rochester.edu

  • Prasad Sistla (Model Checking and Formal Methods)
    Department of Computer Sciences
    University of Illinois at Chicago
    851 S. Morgan (m/c 152)
    Chicago, IL 60607
    USA
    sistla@cs.uic.edu

  • Scott A. Smolka (Concurrency Calculi and Tools)
    Department of Computer Science
    State University of New York at Stony Brook
    Stony Brook, NY 11794-4400
    USA
    sas@cs.sunysb.edu

  • Wolfgang Thomas (Automata and Temporal Logic)
    RWTH Aachen
    Lehrstuhl für Informatik VII
    Ahornstr. 55
    D-52056 Aachen
    Germany
    thomas@informatik.rwth-aachen.de

  • Pascal Van Hentenryck (Constraint Programming)
    Department of Computer Science
    Brown University, P.O. Box 1910
    Providence, RI 02912
    USA
    pvh@cs.brown.edu

  • Victor Vianu (Logical Aspects of Databases)
    CSE 0114
    U.C. San Diego
    La Jolla, CA 92093-0114
    USA
    vianu@cs.ucsd.edu



Information Director

Marco Aiello
Institute of Mathematics and Computing Science
Rijksuniversiteit Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands
aiellom@acm.org


ACM Headquarters Journals Staff

  • Mark Mandelbaum, Director of Publications
  • Jono Hardjowirogo, Associate Director of Publications
  • Roma Simon, Managing Editor, ACM Journals
  • Irma Strolia, Editorial Assistant


Back to home page