中文簡介

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

投稿網(wǎng)址：https://www.editorialmanager.com/acin/default.aspx

英文簡介

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