Annales Societatis Mathematicae Polonae Published under the Auspices of the European Association for Theoretical Computer Science, EATCS
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.
Institute of Informatics
ul. Banacha 2
Hung Son Nguyen
University of Warsaw
Richard M. Karp
Carl Petri †
Boris A. Trakhtenbrot
Lotfi A. Zadeh
See instructions to authors.
Authors of published articles (non-prepress, final articles) will be contacted by Kudos. Kudos is a service that helps researchers maximize the impact and visibility of their research. It allows authors to enrich their articles with lay metadata, add links to related materials and promote their articles through the Kudos system to a wider public. Authors will receive no more than three emails: one invitation and a maximum of two reminders to register for the service and link the published article to their profile. Using and registering for Kudos remains entirely optional. For more information, please have a look at our authors section.
ACM Computing Reviews
ACM Digital Library
Cambridge Scientific Abstracts
Computer Literature Index
Computer Science Index
Current Mathematical Publications
DBLP Bibliography Server
Microsoft Academic Search
Web of Science: Current Contents/Engineering, Computing and Technology
Web of Science: Journal Citation Reports/Science Edition
Web of Science: Science Citation Index-Expanded (SciSearch®)
12 Jan 2016 - IOS Press is happy to announce its partnership with Kudos (www.growkudos.com), an award winning service that helps researchers maximize the impact and visibility of their research. Kudos allows authors to enrich their articles with lay metadata, add links to related materials and promote their articles through the Kudos system to a wider public. From their personal dashboard, authors can track how often their articles are viewed and shared through Kudos. The service will be available to authors of all IOS Press journal articles starting the first quarter of 2016. ...