The International Journal of Foundations of Computer Science is an eight-issue journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include:
Algebraic theory of computing and formal systems
Algorithm and system implementation issues
Approximation, probabilistic, and randomized algorithms
Automata and formal languages
Automated deduction
Combinatorial optimization and/or algorithmic mechanism design
Combinatorics and graph theory
Complexity theory
Computational biology and bioinformatics
Cryptography
Database theory
Data structures
Design and analysis of algorithms
DNA computing
Foundations of computer security
Foundations of high-performance computing
Logic in computer science
Model checking and computer-aided verification
Models of computation
Online algorithms
Quantum computing
Semantics, concurrency, and type theory
Theories and models of internet computing
Theory of learning and inductive inference
Theory of parallel and distributed computing
Wireless networks and mobile computing
As computer science is an ever-evolving area, articles on other topics are also invited. The journal also aims to provide a forum for the communication and discussion of new fields needing more coverage and exposure, and thus hopes to publish new attempts and proposals for deepening the theoretical understanding of the nature of computation and information.
Please submit your proposal for a special issue to the Editor-in-Chief.