Annales Societatis Mathematicae Polonae, Series IV

Published under the auspices of the European Association for Theoretical Computer Science (EATCS).

Fundamenta Informaticae is an international journal reporting on the mathematical foundations of computer science. Its primary objective is the publication of original results of research in this field.

Fundamenta Informaticae is covered by Institute for Scientific Information (ISI) master journal index (so called Philadelphia List). More...

Call for Papers

Special Issue of Fundamenta Informaticae dedicated to  Dependently Typed Programming

Call for Papers

Special Issue of Fundamenta Informaticae dedicated to Intersection Types and Related Systems

Call for Papers

Special Issue of Fundamenta Informaticae dedicated to Cognitive Informatics

The gathering of Polish Mathematical Society has approved  FI Editorial Board for years 2007-2009.

• How to contact Fundamenta Informaticae?
• Fundamenta Informaticae Topic coverage.
• The Editorial Board.
• How to submit a paper?
• Subscription information.
• What's in the last issues?
• Our Publisher - IOS Press.
• Our home site: Institute of Mathematics, Warsaw University.