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 asBiological computation and computational biologyComputational complexityComputer theorem-provingConcurrency and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilistic & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typechecking

信息與計算歡迎所有領域的理論計算機科學和計算應用理論的原始論文。此外，亦會考慮品質優良的檢驗物品。特別受歡迎的是在活躍的理論領域如生物計算和計算生物學計算復雜度電腦定理證明并發與分布式過程理論密碼理論數據基礎理論邏輯決策問題算法設計與分析離散優化與數學規劃歸納推理與學習理論邏輯與約束規劃程序驗證和模型檢查概率與量子計算程序設計語言的語義符號計算、lambda演算和重寫系統類型和類型查詢