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