Prof. Albert R. Meyer, Editor-in-Chief
Information and Computation
Hitachi America Professor of Engineering
MIT Computer Science & AI Laboratory, NE43-315
32 Vassar Street, Bldg. 32-G624
Cambridge, MA 02139-3594, U.S.A.
Telephone: (617) 253-6024
E-mail: iandc@csail.mit.edu
http://iandc.csail.mit.edu

Questions about the review process should be directed to the Editor-in-Chief; questions about accepted papers should be directed to IC@elsevier.com.

Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as

• • Biological computation and computational biology
• • Computational complexity
• • Computer theorem-proving
• • Concurrency and distributed process theory
• • Cryptographic theory
• • Data base theory
• • Decision problems in logic
• • Design and analysis of algorithms
• • Discrete optimization and mathematical programming
• • Inductive inference and learning theory
• • Logic & constraint programming
• • Program verification & model checking
• • Probabilistic & Quantum computation
• • Semantics of programming languages
• • Symbolic computation, lambda calculus, and rewriting systems
• • Types and typechecking

Submission of manuscripts. Submission of new and revised manuscripts for review by e-mail attachment to iandc@csail.mit.edu is preferred. Most printable formats are acceptable, e.g., postscript, pdf, MSWord. Cut-and-paste documents can also be sent in plain e-mail. Manuscripts may also be submitted directly to any member of the Board of Editors.

Manuscripts must be in English and should contain title, authors, contact information for authors, an abstract, and references. A plain text version of the abstract should be included with electronic submissions. A single corresponding author should be identified.

For review purposes, the precise format of a submitted manuscript is flexible. However, authors should be aware that accepted papers transmitted to the publisher may be subject to composition delays if they do not conform to the publisher's detailed style specifications as described on the Information and Computation home page.

If electronic submission is not feasible, please send one (1) printed copy to the address above.

Copyright and permissions. Authors submitting a manuscript do so on the understanding that if the manuscript is accepted for publication, copyright for the article, including the right to reproduce the article in all forms and media, shall be assigned exclusively to the Publisher. The Copyright Transfer Agreement should be signed by the appropriate person and should accompany the original submission of a manuscript to this journal. The transfer of copyright does not take place until the manuscript is accepted for publication.

Caution: Figures that reproduce copyrighted or trademarked visual images or that show objects whose design is copyrighted or trademarked can be published only with the permission of the holder of the copyright or trademark. It is the responsibility of the author of the article in which the figure appears to obtain this permission, and pay the necessary fees, or to determine that the image or design is in the public domain.

Electronic transmission of accepted papers. After a manuscript has been accepted for publication and all revisions have been incorporated, authors are requested to transmit the text source and figures of the manuscript in electronic form whenever possible.

Manuscripts prepared using LaTeX(2e) are strongly preferred, but TeX or LaTeX are welcome, and Word (.doc) files are acceptable when LaTeX is not feasible. The Elsevier LaTeX package (including detailed instructions for LaTeX preparation) is available at http://www.elsevier.com/latex. Note that the use of other specialized versions of TeX or extensive use of custom macros may necessitate conventional typesetting from a printed manuscript. The manuscript will be edited according to the style of the journal. Page proofs will be sent (electronically whenever possible) to authors for final proofreading.

Transmission by e-mail. Transmission of the manuscript source and all auxiliary files as attachments in a single e-mail to IC@elsevier.com is most preferred. Files may also be attached as a single archive. The size of the e-mail should not exceed 2 megabytes.

Transmission by FTP client. For ftp transmission, the use of ftp client software is encouraged. Using an ftp client, navigate to the Elsevier ftp site.

Site address: ftp://ftp.elsevier.com

Then log in "pseudoanonymously" with
Username: anon
Password: essd4acc

After successful login, navigate to the subfolder, yinco, and transmit your materials.

FTP from a web browser. If an ftp client is not available, a web browser may be used to transmit files. Browse to the address

ftp://anon:essd4acc@ftp.elsevier.com

that leads to the journal folder area where the yinco subfolder can be found. Copy your files into this subfolder.
File-naming convention: Long filenames are OK, but names with unusual characters may generate a "restricted access" error. Try renaming your files if you get this error message.
File protection: The system is configured to protect materials deposited on the site. Users can monitor their own uploads normally, viz., see the file being copied to the destination, but the files cannot be read by other users. Authors should receive a confirmation of receipt from the journal staff within one week of transmission.

Questions. Questions about transmission of manuscripts to the publisher should be directed to IC@elsevier.com. Instructions for submission of new manuscripts for review are available at http://iandc.csail.mit.edu.

Preparation of manuscript. Manuscripts should be organized as follows:

Title page. (page 1). This page should contain the article title, authors' names, and complete affiliations, footnotes to the title, a running title of less than 50 characters, and the address for manuscript correspondence (including e-mail address and telephone and fax numbers.)

Abstract. (page 2). The abstract must be a single paragraph that summarizes the main findings of the paper in less than 150 words. After the abstract, a list of up to 10 key words that will be useful for indexing or searching should be included.

Footnotes. In text, footnotes should be avoided. If absolutely necessary, identify them by superscript Arabic numerals in order of their appearance.

Tables. Number table consecutively with Arabic numerals in order of appearance in the text. Type each table with a short descriptive title typed directly above and with essential footnotes below.

Figures. Figures should be in a finished form suitable for publication. Number figures consecutively with Arabic numerals and indicate the top and the authors on the back of each figure. Legends should be included on a separate page. Lettering on drawings should be professional quality or generated by high-resolution computer graphics and must be large enough to withstand appropriate reduction for publication.

Equations. All equations should be typewritten and the numbers for displayed equations should be placed in parentheses at the right margin. References to equations should use the form "Eq. (3)" or simply "(3)." Superscripts and subscripts should be typed clearly above and below the line, respectively. Use the exponent 1/i instead of the ith root symbol wherever possible.

References. Cite references in the text by an Arabic numeral between brackets as [1], [1,2], [1, Theorem 5.4], etc. It is suggested that text references be given in the form "As Jones [31] showed," rather than "As [31] showed." References should be listed in the order cited in the text. Follow the styles shown in the following examples.

1. Jain, S. (1999), Robust behaviorally correct learning Inform. and Comput. 153, 238–248.
2. Gerber, R., and Lee, I. (1989), A resource-based prioritized bisimulation for real-time systems, Inform. and Comput. 113, 102-142.
3. Plotkin, G. D. (1980), Lambda-definability in full type hierarchy, in "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism" (J. Seldin and J. Hindley, Eds.), pp. 363–373, Academic Press, New York.

For unpublished lectures or symposia, include the title of the paper, name of the sponsoring society in full, and the date. For journal names, follow "Abbreviations of Names of Serials, Reviewed in Mathematical Reviews"(American Mathematical Society, 1995). When in doubt about employing certain abbreviations, use clarity as a guide.

Proofs. Proofs will be sent to the corresponding author. To avoid delay in publication, only necessary changes should be made, and proofs should be returned promptly.

Author Benefits.The corresponding author, at no cost, will be provided with a PDF file of the article via e-mail. The PDF file is a watermarked version of the published article and includes a cover sheet with the journal cover image and a disclaimer outlining the terms and conditions of use. Additional paper offprints can be ordered by the authors. An order form with prices will be sent to the corresponding author.