Topic Coverage
Fundamenta Informaticae is an
international journal publishing original research results in all
areas of foundations of computer science and their applications.
The editors of the journal encourage papers containing:
- solutions by mathematical methods of problems emerging in
computer science;
- solutions of mathematical problems inspired by computer
science;
- application studies following the solutions in fields
mentioned above.
Besides traditional disciplines of interest for computer
science, such as
- mathematical theories of programs and programming,
- logic in computer science and artificial intelligence,
- theory of computing, complexity theory,
- design and analysis of algorithms,
- theory of formal languages and automata theory,
- concurrency,
- cellular automata,
- database theory,
- logic programming,
- nonmonotonic reasoning,
- parallel algorithms,
- term rewriting,
- theory of parallel and distributed computing,
the journal is open to contributions presenting methods in
more recent areas, such as:
- adaptive strategies of computing,
- approximate reasoning,
- agent system theory,
- biocomputing,
- machine learning and pattern recognition,
- data mining and knowledge discovery,
- decision theory,
- DNA computing,
- evolutionary computation,
- natural computing,
- neural networks,
- quantum computing,
- soft computing including fuzzy sets, rough sets and
granular computing.
This enumeration is not intended to be exclusive.
Fundamenta Informaticae is
abstracted/idexed in: