Formal Aspects of Computing

  • Formal Aspects of Computing journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

+ About
  • Formal Aspects of Computing journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

  • James Woodcock

+ Editor-in-Chief
  • James Woodcock

  • Print ISSN: 0934-5043

    Electronic ISSN: 1433-299X

+ ISSN
  • Print ISSN: 0934-5043

    Electronic ISSN: 1433-299X

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 0.521

+ Impact Factor
  • Impact Factor 2015: 0.521


  • Computer Sciences, Mathematics

+ Subject Area and Category
  • Computer Sciences, Mathematics

  • Publisher: Springer

    Country: USA

+ Publisher & Country
  • Publisher: Springer

    Country: USA