Editor-in-Chief:	Professor Albert R. Meyer
Assistant Editor:	Becky Shepardson
Publisher:	Elsevier
Editorial Assistant:	Joanne Hanley

Information and Computation

An International Journal

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

Editorial Board

Papers to appear

Information for Authors

History & Editorial Policies

Information for Referees

Comments and questions to: iandc@csail.mit.edu.	Copyright © 2008, Albert R. Meyer. All rights reserved.
For website issues: I&C webmaster	Last modified: Fri Feb 1, 2008