Announcement on transition of journal to Gold Open Access with ACM

BCS are delighted to announce that the journal is now published with ACM - The Association for Computing Machinery - from January 2022 as a Gold Open Access journal. Visit the ACM website for more information.

Submissions to the journal will be live shortly - the new journal homepage from the start of the next Volume will be:

NB: From January 2022, All new journal articles and full backfiles are freely available as open access articles via the ACM Digital Library.

Submissions to the journal

The journal welcomes new theoretical contributions where they are motivated by potential application, and applications of existing formalisms where they show something novel about their approach or application. Submissions are welcome on

Subscribing to the journal (published with Springer-Nature until end of 2021)

BCS members enjoy the following discounted subscription rates for the complete Volume 33 (2021) - comprising six issues:

  • Print and online access: £75 + VAT
  • Print only: £56 
  • Online access only: £30 + VAT 

You’ll also receive full online access to the archive with all these subscription options.

To subscribe, please email

Formal Aspects of Computing

Browse the latest editions and the archive. 

Go to the journal