期刊名称：INFORMATION AND COMPUTATION
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Information and Computation publishes original papers in all areas of theoretical computer science and computational aspects of information theory. Book reviews and survey articles of exceptional quality are published occasionally. Information and Computation emphasizes papers contributing new results in active theoretical areas.
Research Areas Include:
Categories in programming
Compiler optimization and verification
Computational complexity
Computer theorem-proving
Concurrent processes
Cryptology
Data bases
Design and analysis of algorithms
Discrete optimization and mathematical programming
Distributed and parallel computation
Inductive inference and learning theory
Lambda calculus
Logic and verification of computer programs
Logic programming
Probabilistic computation
Randomness, pseudorandomness, and Kolmogorov complexity
Semantics of programming languages
Symbolic computation and rewriting systems
Types and typechecking in programming
Instructions to Authors
Albert R. Meyer, Editor-in-Chief
Information and Computation
MIT Laboratory for Computer Science, NE43-315
545 Technology Square
Cambridge, MA 02139, U.S.A.
Telephone: (617) 253-6024
E-mail: meyer@theory.lcs.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 aspects of information theory. Articles on control theory will also be considered when there is a clear connection to computational issues or a prior publication history in the journal. Book reviews and survey articles of exceptional quality will be published occasionally. Particularly welcome are papers contributing new results in active theoretical areas such as
- Categories in programming
- Computational complexity
- Computer theorem-proving
- Compiler optimization and verification
- Concurrent processes
- Cryptology
- Data bases
- Design and analysis of algorithms
- Distributed and parallel computation
- Discrete optimization and mathematical programming
- Inductive inference and learning
- Lambda calculus
- Logic and verification of computer programs
- Logic programming
- Probabilistic computation
- Randomness, pseudorandomness, and Kolmogorov complexity
- Types and typechecking in programming
- Semantics of programming languages
- Symbolic computation and rewriting systems
Submission of manuscripts. Submission of new and revised manuscripts for review by e-mail attachment to iandc@theory.lcs.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 www.elsevier.com/locate/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://theory.lcs.mit.edu/~iandc.
Preparation of manuscript. Manuscripts should be double-spaced throughout on one side of 8.5 x 11-in. (21.3 x 27.5 cm) white paper. Number all pages consecutively and organize 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 and type them together on a separate page, double-spaced.
Tables. Number table consecutively with Arabic numerals in order of appearance in the text. Type each table double-spaced on a separate page with a short descriptive title typed directly above and with essential footnotes below. Authors should submit complex tables as camera-ready copy.
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 typed double-spaced on a separate sheet. 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 or handwritten 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 and typed double-spaced throughout. 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. Authors will be charged for alterations in excess of 10% of the cost of composition.
Editorial Board
Editor-in-Chief:
A.R. Meyer, Laboratory for Computer Science, Massachusetts Institute for Technology, 545 Technology Square, Cambridge, Massachusetts 02139 Tel: (617) 253-5936, Email: iandc@theory.lcs.mit.edu
Editorial Board: M. Abadi, Computer Science Department, Baskin Engineering Building, University of California at Santa Cruz, Santa Cruz, California 95064 Email: abadi@cs.ucsc.edu
A. Amir, Department of Computer Science, Bar-Ilan University, 52900 Ramat-Gan, Israel Email: amir@cs.biu.ac.il
S. Arora, Department of Computer Science, Princeton University, 35 Olden Street, New Jersey 08544-2087 Email: arora@cs.princeton.edu
R. Beigel, Department of Computer and Information Sciences, Temple University, Wachman Hall Room 304, 1805 N. Broad Street, Philadelphia, Pennsylvania 19122-6094 Email: beigel@joda.cis.temple.edu
G. Berry, Esterel Technologies, Twins 2, 885 avenue du Dr. Julie Lefivre, 06270 Villeneuve-Loubet, France Email: Gerard.Berry@Esterel-technologies.com
A. Blum, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 Email: avrim@cs.cmu.edu
S.A. Cook, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada M5S 1A7 Email: sacook@utai.toronto.edu
B. Courcelle, Universita de Bordeaux 1, UER de Math et d'Informatique, 351 cours de la Liburation, 33405 Talence Cedex, France Email: courcell@labri.u-bordeaux.fr
M. Dezani-Ciancaglini, Dipartimento de Informatica, Universit¨¤ degli Studi di Torino, corso Svizzera 185, 10149 Torino, Italy Email: dezani@di.unito.it
C. Dwork, Microsoft Research, SVC, 1065 L'Avenida, Mountain View, California 94043 Email: dwork@microsoft.com
F.E. Fich, Department of Computer Science, University of Toronto, 10 King's College Road, Toronto, Ontario, Canada M5S 1A4 Email: fich@cs.toronto.edu
L. Fortnow, NEC Research Institute, 4 Independence Way, Princeton, New Jersey 08540 Email: fortnow@research.nj.nec.com
W.I. Gasarch, Department of Computer Science, University of Maryland, College Park, Maryland 20742 Email: gasarch@cs.umd.edu
R. Graham, Computer Science and Engineering, University of California at San Diego, La Jolla, California 92093 Email: graham@ucsd.edu
M.C. Hennessy, School of Mathematics and Physical Science, University of Sussex, Falmer, Brighton, Sussex BN1 9QH, England Email: matthewh@cogs.sussex.ac.uk
N. Immerman, Computer Science Department, University of Massachusetts, 140 Governor's Drive, Amherst, Massachusetts 01003-4610 Email: immerman@cs.umass.edu
T. Ito, Department of Computer and Mathematical Sciences, Graduate School of Information Sciences, Tohoku University, Sendai, 980 Japan Email: ito@ito.ecei.tohoku.ac.jp
M. Li, Department of Computer Science, University of California, Santa Barbara, California 93106 Email: mli@cs.ucsb.edu
G. Longo, Ecole Normale Sup¨¦rieure, DMI, 45, rue d'Ulm, 75005 Paris, France Email: longo@ens.fr
|
