Transactions on Computational Logic (TOCL)

http://www.acm.org/tocl

Call For Papers

ACM is pleased to announce a new publication. This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science. TOCL is quarterly, and the first issue is tentatively scheduled for the summer 2000. The subscription price for ACM members will be $35 and $140 per year for nonmembers. TOCL will enter the ACM Digital Library.

TOCL Editor-in-Chief
Krzysztof R. Apt CWI, Kruislaan 413 1098 SJ Amsterdam, the Netherlands email: k.r.apt@cwi.nl phone: 31-20-592.4135 fax: 31-20-592.4199
Areas and Area Editors
Program Development and Verification	Krzysztof R. Apt, Amsterdam, the Netherlands k.r.apt@cwi.nl
Logical Aspects of Computational Complexity	Samuel R. Buss, San Diego, USA sbuss@ucsd.edu
Constraint Programming	Philippe Codognet, Paris, France Philippe.Codognet@lip6.fr
Model Checking	E. Allen Emerson, Austin, USA emerson@cs.utexas.edu
Term Rewriting Systems	Jan Willem Klop, Amsterdam, the Netherlands jwk@cs.vu.nl
Commonsense and Nonmonotonic Reasoning	Vladimir Lifschitz, Austin, TX, USA vl@cs.utexas.edu
Proof Theory	Dale Miller, University Park, USA dale@cse.psu.edu
Program Specification	Carroll Morgan, Oxford, Great Britain Carroll.Morgan@comlab.ox.ac.uk
Logic and Machine Learning	Stephen Muggleton, York, Great Britain stephen@cs.york.ac.uk
Automated Verification	Tobias Nipkow, Munich, Germany nipkow@in.tum.de
Finite Model Theory and Complexity of Logical Theories	Leszek Pacholski, Wroclaw, Poland pacholsk@tcs.uni.wroc.pl
Automated Deduction	David Plaisted, Chapel Hill, USA plaisted@cs.unc.edu
Type Theory and Logical Frameworks	Gordon D. Plotkin, Edinburgh, Great Britain gdp@dcs.ed.ac.uk
Logics of Uncertainty	Henri Prade, Toulouse, France Henri.Prade@irit.fr
Modal Logics, including Dynamic and Epistemic Logics	Maarten de Rijke, Amsterdam, the Netherlands mdr@wins.uva.nl
Functional Programming and Lambda Calculus	Simona Ronchi della Rocca, Torino, Italy ronchi@di.unito.it
Logic Programming	Danny de Schreye, Leuven, Belgium Danny.DeSchreye@cs.kuleuven.ac.be
Concurrency Calculi and Tools	Scott Smolka, Stony Brook, USA sas@cs.sunysb.edu
Automata and Temporal Logic	Wolfgang Thomas, Aachen, Germany thomas@informatik.rwth-aachen.de
Logical Aspects of Databases	Victor Vianu, San Diego, USA vianu@cs.ucsd.edu

Scope of TOCL

For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in Computer Science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Steven Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.

The editorial board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field. Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

Guidelines for Contributors

Submissions, refereeing, and all correspondence will be conducted by email. The preferred form of submission is by posting the paper first at the Computing Research Repository (CoRR), http://xxx.lanl.gov/archive/cs/intro.html and subsequently sending the the archive identifier by email to the appropriate area editor with a copy to acm-tocl@cwi.nl (see http://www.acm.org/tocl for the benefits of this form of submission).

An alternative form of submission consists of sending two email messages, the first one with the information containing the title, the author(s) and the abstract of the submission, and the second one with the postscript file. Both emails should be sent to the appropriate area editor with a copy to acm-tocl@cwi.nl .

Paper submissions (five copies, to the Editor-in-Chief) are also acceptable, but their handling may be delayed. The submitted manuscripts should not be published or simultaneously submitted to another journal or to a conference, though full versions of important conference papers are welcome. Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to the ACM.