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.
数据整理自公开网络的投稿反馈，仅供参考。
