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

Journal information

Editor-in-Chief
  • Christel Baier
Publishing model
Hybrid (Transformative Journal). Learn about publishing Open Access with us

Journal metrics

0.375 (2020)
Impact factor
0.836 (2020)
Five year impact factor
72 days
Submission to first decision
289 days
Submission to acceptance
48,298 (2020)
Downloads

Latest articles

  1. Interface Automata for Shared Memory

    Authors (first, second and last of 5)

    • Ayleen Schinko
    • Walter Vogler
    • Gerald Lüttgen
    • Content type: Original Article
    • Open Access
    • Published: 30 August 2021
This journal has 45 open access articles

About this journal

Electronic ISSN
1432-0525
Print ISSN
0001-5903
Abstracted and indexed in
  1. ACM Digital Library
  2. BFI List
  3. CLOCKSS
  4. CNKI
  5. CNPIEC
  6. Current Contents/Engineering, Computing and Technology
  7. DBLP
  8. Dimensions
  9. EBSCO Academic Search
  10. EBSCO Advanced Placement Source
  11. EBSCO Applied Science & Technology Source
  12. EBSCO Computer Science Index
  13. EBSCO Computer Source: Consumer Edition
  14. EBSCO Computers & Applied Sciences Complete
  15. EBSCO Discovery Service
  16. EBSCO STM Source
  17. EBSCO Science & Technology Collection
  18. EI Compendex
  19. Google Scholar
  20. INSPEC
  21. Japanese Science and Technology Agency (JST)
  22. Journal Citation Reports/Science Edition
  23. Mathematical Reviews
  24. Naver
  25. Norwegian Register for Scientific Journals and Series
  26. OCLC WorldCat Discovery Service
  27. Portico
  28. ProQuest Pharma Collection
  29. ProQuest SciTech Premium Collection
  30. ProQuest Technology Collection
  31. ProQuest-ExLibris Primo
  32. ProQuest-ExLibris Summon
  33. SCImago
  34. SCOPUS
  35. Science Citation Index
  36. Science Citation Index Expanded (SciSearch)
  37. TD Net Discovery Service
  38. UGC-CARE List (India)
  39. zbMATH
Copyright information

Rights and permissions

Springer policies

© Springer-Verlag GmbH Germany, part of Springer Nature