Fundamenta Informaticae
Annales Societatis Mathematicae Polonae
Published under the Auspices of the European Association for Theoretical Computer Science, EATCS
Published under the Auspices of the European Association for Theoretical Computer Science, EATCS
IMPACT FACTOR: 0.715 (JCR '08)
ISSN: 0169-2968
Volume 98-105; 32 issues
Institutional subscription (print and online) for 2010: €1904 / US$2675 (including postage and handling)
Click on the subscribe button for more options, including personal subscription prices.
Status Report: Last issue (volume 97:4) online on 23 December 2009
Next issue (volume 98:1) scheduled for January 2010
Aims and Scope
Editorial Board
Submission of Manuscripts
Abstracted in
Download flyer for this journal
Journal Website
fi.mimuw.edu.pl
Executive Editors
Editor-in-Chief
Damian Niwinski
Editor-in-Chief
Institute of Informatics
Warsaw University
ul. Banacha 2
Poland
E-mail: niwinski@mimuw.edu.pl
Managing Editor
University of Warsaw
Poland
Editorial Assistant
Warsaw University
Poland
Honorary Editors
Andrzej Ehrenfeucht
University of Colorado, Boulder
USA
Stephen Smale
University of California, Berkeley
USA
Boris A. Trakhtenbrot
Tel Aviv University
Israel
Lotfi A. Zadeh
University of California, Berkeley
USA
Juris Hartmanis
Cornell University
USA
Richard M. Karp
University of California, Berkeley
USA
Solomon Marcus
Romanian Academy
Romania
Antoni Mazurkiewicz
Polish Academy of Sciences
Poland
Carl Petri
Germany
Grzegorz Rozenberg
Leiden University
Netherlands
Arto Salomaa
Turku Centre for Computer Science
Finland
Andrzej Skowron
University of Warsaw
Poland
Editorial Board
| Thorsten Altenkirch, University of Nottingham, UK | Grazyna Mirkowska, Cardinal Stefan Wyszynski University in Warsaw , Poland |
| Cristian S. Calude, University of Auckland, New Zealand | Ugo Montanari, University of Pisa, Italy |
| Zhenfu Cao, Shanghai Jiao Tong University, China | Joachim Niehren, INRIA, Lille, France |
| Hans De Nivelle, University of Wroclaw, Poland | Sankar Kumar Pal, Indian Statistical Institute, India |
| Melvin Fitting, City University of New York, USA | Christos Papadimitriou, University of California at Berkeley, USA |
| Pierre Fraigniaud, CNRS and University Paris Diderot, France | Gheorghe Paun, Romanian Academy, Romania |
| Anna Gambin, University of Warsaw, Poland | Wojciech Penczek, Polish Academy of Science, Poland |
| Jerzy Grzymala-Busse, University of Kansas, USA | Alberto Pettorossi, University of Roma Tor Vergata, Italy |
| Irene Guessarian, Pierre and Marie Curie University, Paris, France | Alexander Rabinovich, University of Tel Aviv, Israel |
| Mika Hirvensalo, University of Turku, Finland | Zbigniew W. Ras, University of North Carolina , USA |
| Juraj Hromkovic, ETH Zurich, Switzerland | Thomas Schwentick, University of Dortmund, Germany |
| Ryszard Janicki, McMaster University, Hamilton, Canada | Helmut Seidl, Technical University of Munich , Germany |
| Jonathan Katz, University of Maryland, USA | Wladyslaw Skarbek, Warsaw University of Technology, Poland |
| Ralf Klasing, University of Bordeaux, France | Andrzej Szalas, University of Warsaw, Poland |
| H.C.M. Kleijn, Leiden University, Netherlands | Andrzej Tarlecki, University of Warsaw, Poland |
| Joost N. Kok, Leiden University, Netherlands | Jerzy Tiuryn, University of Warsaw, Poland |
| Matthias Krause, University of Mannheim, Germany | Jan Van den Bussche, Universiteit Hasselt, Belgium |
| Antonin Kucera, Masaryk University, Brno, Czech Republic | Igor Walukiewicz, University of Bordeaux, France |
| Miroslaw Kutylowski, Wroclaw University of Technology, Poland | Thomas Wilke, Christian-Albrechts-University in Kiel , Germany |
| Johann Makowsky, Technion, Haifa, Israel | Sheng Yu, University of Western Ontario, Canada |
| Victor W. Marek, University of Kentucky, USA |
See instructions to authors. 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:
(i) solutions, by mathematical methods, of problems emerging in computer science,
(ii) solutions of mathematical problems inspired by computer science,
(iii) application studies that follow the situations in (i) and (ii).
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 on more areas such as adaptive strategies of computing, approximate reasoning, agent system theory, bio-computing, 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.
Abstracted in
ACM Computing Reviews,
ACM Guide to Computing Literature,
CPX,
Computer Literature Index,
Current Contents/Engineering, Computing and Technology,
EBSCO database,
Inspec,
Journal Citation Reports/Science Edition,
MathSciNet,
Science Citation Index-Expanded (SciSearch®),
Scopus,
Zentralblatt MATH
Backvolumes
9-97