Fundamenta Informaticae
Annales Societatis Mathematicae Polonae Published under the Auspices of the European Association for Theoretical Computer Science, EATCS
- ISSN
- 0169-2968
- Volume
- 122-128; 28 issues
- Status
- Last issue (123:1) online on 5 April 2013
- Next issue
- 123:2 scheduled for May 2013
- Back volumes
- 20-121
- Website
- fi.mimuw.edu.pl
- Subject
- Computer & Communication Sciences, Computer Science
Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Papers are encouraged which contain:
1. solutions, by mathematical methods, of problems emerging in computer science
2. solutions of mathematical problems inspired by computer science
3. application studies that follow the situations in 1 and 2.
Topics of interest include: theory of computing, complexity theory, design and analysis of algorithms, programming language theory, semantics and verification of programs, computer science logic, database theory, logic programming and automated deduction, formal languages and automata, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, data mining and knowledge discovery, machine learning and pattern recognition, algorithmic game theory, theory of multi-agent systems, bioinformatics and computational biology, natural computing, neural networks, quantum computing, soft computing including fuzzy sets, rough sets and granular computing.
This list is not exclusive.
Executive Editors
Editor-in-Chief Damian Niwinski Institute of Informatics Warsaw University ul. Banacha 2 Poland E-mail: niwinski@mimuw.edu.pl Managing Editor Hung Son Nguyen University of Warsaw Poland Founding Editor Honorary Editors Andrzej Ehrenfeucht University of Colorado, Boulder USA Juris Hartmanis Richard M. Karp Solomon Marcus Antoni Mazurkiewicz Carl Petri † Grzegorz Rozenberg Arto Salomaa Andrzej Skowron Stephen Smale Boris A. Trakhtenbrot Lotfi A. Zadeh | Editorial Board |
ACM Computing Reviews
ACM Digital Library
Cambridge Scientific Abstracts
Compendex
CompuMath Citation Index
Computer Literature Index
Computer Science Index
CPX
CSA Illumina
Current Contents/Engineering, Computing and Technology
Current Mathematical Publications
DBLP Bibliography Server
EBSCO database
Inspec IET
Journal Citation Reports/Science Edition
MathSciNet
Microsoft Academic Search
Science Citation Index-Expanded (SciSearch®)
Scopus
Ulrich's Periodicals
Zentralblatt MATH
Turing News: First Issue Computability online + Special Turing Issue Fundamenta Informaticae
14 Jun 2012 - Turing-related issues published as Alan Turing Centenary draws near ...

