The Formal Aspects of Computing Journal will be transferring to the Association for Computing Machinery (ACM) from 1st of January 2022. We invite authors and readers to visit the new Journal Homepage here: https://dl.acm.org/journal/fac

Journal information

Chief Editor
  • James Woodcock
Publishing model
Hybrid (Transformative Journal). How to publish with us, including Open Access

Journal metrics

0.886 (2021)
Impact factor
0.896 (2021)
Five year impact factor
16,374 (2021)
Downloads

Latest articles

  1. Editorial

    Authors

    • Wolfgang Ahrendt
    • Silvia Lizeth Tapia Tarifa
    • Heike Wehrheim
    • Content type: Editorial
    • Published: 21 December 2021
    • Pages: 827 - 827
  2. Editorial

    Authors

    • Jordi Cabot
    • Heike Wehrheim
    • Eerke Boiten
    • Content type: Editorial
    • Published: 21 December 2021
    • Pages: 1037 - 1037
  3. Editorial

    Authors

    • Alessandro Fantechi
    • Anne E. Haxthausen
    • Jim Woodcock
    • Content type: Editorial
    • Published: 21 December 2021
    • Pages: 923 - 924
This journal has 73 open access articles

About this journal

Electronic ISSN
1433-299X
Print ISSN
0934-5043
Abstracted and indexed in
  1. ACM Digital Library
  2. BFI List
  3. CLOCKSS
  4. CNKI
  5. CNPIEC
  6. Current Contents/Engineering, Computing and Technology
  7. DBLP
  8. Dimensions
  9. EBSCO Academic Search
  10. EBSCO Applied Science & Technology Source
  11. EBSCO Computer Science Index
  12. EBSCO Computers & Applied Sciences Complete
  13. EBSCO Discovery Service
  14. EBSCO Engineering Source
  15. EBSCO STM Source
  16. EI Compendex
  17. Google Scholar
  18. INSPEC
  19. Japanese Science and Technology Agency (JST)
  20. Journal Citation Reports/Science Edition
  21. Mathematical Reviews
  22. Naver
  23. OCLC WorldCat Discovery Service
  24. Portico
  25. ProQuest Advanced Technologies & Aerospace Database
  26. ProQuest-ExLibris Primo
  27. ProQuest-ExLibris Summon
  28. SCImago
  29. SCOPUS
  30. Science Citation Index Expanded (SCIE)
  31. TD Net Discovery Service
  32. UGC-CARE List (India)
  33. WTI AG
Copyright information

Rights and permissions

Springer policies

© British Computer Society