Aims & Scope

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