信息學(xué)報(bào)提供有關(guān)程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)和分析的正式方法以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域（如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法）的文章的國(guó)際傳播。感興趣的主題包括：?編程語(yǔ)言的語(yǔ)義?并行、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語(yǔ)言?時(shí)間、混合和概率系統(tǒng)的模型和建模語(yǔ)言?規(guī)范、程序分析和驗(yàn)證?模型檢查和定理證明?模態(tài)邏輯、時(shí)態(tài)邏輯、一階和高階邏輯及其變體?約束邏輯、SAT/SMT求解技術(shù)?數(shù)據(jù)庫(kù)、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面?人工智能、知識(shí)表示、描述邏輯的理論方面?自動(dòng)控制理論、形式語(yǔ)言、術(shù)語(yǔ)和圖形重寫(xiě)?基于游戲的模型，綜合?類型理論，類型計(jì)算?代數(shù)、代數(shù)和分類方法?性能、可靠性和可靠性分析的正式方面?信息和網(wǎng)絡(luò)安全基礎(chǔ)?并行、分布式和隨機(jī)算法?算法的設(shè)計(jì)和分析?網(wǎng)絡(luò)和通信協(xié)議的基礎(chǔ)

Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.Topics of interest include:? semantics of programming languages? models and modeling languages for concurrent, distributed, reactive and mobile systems? models and modeling languages for timed, hybrid and probabilistic systems? specification, program analysis and verification? model checking and theorem proving? modal, temporal, first- and higher-order logics, and their variants? constraint logic, SAT/SMT-solving techniques? theoretical aspects of databases, semi-structured data and finite model theory? theoretical aspects of artificial intelligence, knowledge representation, description logic? automata theory, formal languages, term and graph rewriting? game-based models, synthesis? type theory, typed calculi? algebraic, coalgebraic and categorical methods? formal aspects of performance, dependability and reliability analysis? foundations of information and network security? parallel, distributed and randomized algorithms? design and analysis of algorithms? foundations of network and communication protocols