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.