Journal Guide

The ACM Computing Surveys publishes surveys of and tutorials on areas of computing research or practice. See the Editorial Charter available at http://www.acm.org/surveys/Charter.html for further details. Contributions should conform to generally accepted practices for scientific papers with respect to organization and style.Types of PapersSubmissions must be of one of the following types.Survey paper A paper that summarizes and organizes recent research results in a novel way that integrates and add understanding to work in the field. A survey article assumes a general knowledge of the area; it emphasizes the classification of the existing literature, developing a perspective on the area, and evaluating trends. Tutorial paper A paper that organizes and introduces work in the field. A tutorial paper assumes its audience is inexpert; it emphasizes the basic concepts of the field and provides concrete examples that embody these concepts. Symposium Proposals Proposals for editing Symposium issues covering areas or topics of research, such as the Symposium on Artificial Intelligence appearing in Volume 27, Number 3 (September 1995). Paper LengthPapers should not normally exceed 35 pages when formatted using the Surveys style. When justified, additional material may be published in an electronic supplement. Manuscripts of excessive length may be rejected without review.

Individual articles published in ACM Transactions on Applied Perception are available through the Article Express International FAX service. If you wish to search for specific articles, go to our Past Issues. Note that abstracts for many of the articles are available online, and ACM TAP subscribers may download electronic versions of the latest articles.

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), Stephen 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).

Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an open access journal of computer science, theory, methods and interdisciplinary applications, data and information systems, software engineering, artificial intelligence, automation and control systems. It publishes reviews, regular research papers and short communications. Our aim is to encourage scientists to publish their experimental and theoretical results in as much detail as possible. There is no restriction on the length of the papers. The full experimental details must be provided so that the results can be reproduced. There are, in addition, unique features of this journal:, , manuscripts regarding research proposals and research ideas will be particularly welcomed, electronic files or software regarding the full details of the calculation and experimental procedure, if unable to be published in a normal way, can be deposited as supplementary material, we also accept manuscripts communicating to a broader audience with regard to research projects financed with public funds, copies of source codes might be deposited.

Applied Categorical Structures focuses on applications of results, techniques and ideas from category theory to mathematics, physics and computer science. These include the study of topological and algebraic categories, representation theory, algebraic geometry, homological and homotopical algebra, derived and triangulated categories, categorification of (geometric) invariants, categorical investigations in mathematical physics, higher category theory and applications, categorical investigations in functional analysis, in continuous order theory and in theoretical computer science. In addition, the journal also follows the development of emerging fields in which the application of categorical methods proves to be relevant. Applied Categorical Structures publishes both carefully refereed research papers and survey papers. It promotes communication and increases the dissemination of new results and ideas among mathematicians and computer scientists who use categorical methods in their research.