Aims and scope

Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science.
We solicit both research papers, survey articles and shorter contributions (notes).

Topics include theoretical aspects of the following items [notice that you will get a refined list when clicking on these items].

    Algorithms and their analysis
    Automata and formal languages
    Computability and complexity
    Data handling
    Discrete Mathematics
    Logic (in Computer Science)
    Mathematical foundations of Artificial Intelligence
    Programming language theory
    Security
    Systems theory
    Verification

This includes also modern topics like Quantum Computing.