The International Journal of Foundations of Computer Science is a bimonthly journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science.
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.
topics of interest
- Algebraic theory of computing and formal systems
- Algorithm and system implementation issues
- Approximation, probabilistic, and randomized algorithms
- Automata and formal languages
- Automated deduction
- 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
- 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
works as
journal
containing
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (2013) — Houguang Yue