Journal Title：Information And Computation

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

《信息與計(jì)算》歡迎理論計(jì)算機(jī)科學(xué)和信息理論計(jì)算應(yīng)用各個(gè)領(lǐng)域的原創(chuàng)論文。質(zhì)量卓越的綜述文章也將受到考慮。特別歡迎在活躍的理論領(lǐng)域貢獻(xiàn)新成果的論文，例如

-生物計(jì)算和計(jì)算生物學(xué)-

計(jì)算復(fù)雜性-

計(jì)算機(jī)定理證明-

并發(fā)和分布式過程理論-

密碼理論-

數(shù)據(jù)庫(kù)理論-

邏輯中的決策問題-

算法的設(shè)計(jì)和分析-

離散優(yōu)化和數(shù)學(xué)規(guī)劃-

歸納推理和學(xué)習(xí)理論-

邏輯和約束編程-

程序驗(yàn)證和模型檢查-

概率和量子計(jì)算-

編程語言的語義-

符號(hào)計(jì)算，lambda演算和重寫系統(tǒng)-

類型和類型檢查

Information And Computation創(chuàng)刊于1987年，由Elsevier Inc.出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過審相對(duì)較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 約24.0個(gè)月 ，影響因子指數(shù)0.8，該期刊近期沒有被列入國(guó)際期刊預(yù)警名單，廣大學(xué)者值得一試。