Formal Aspects of Computing

Formal Aspects of Computing publishes contributions at the junction of theory and practice with the aim to disseminate applicable research and promote the growth of computer science.

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: https://dl.acm.org/journal/fac

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 https://mc.manuscriptcentral.com/fac

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 rachel.moriarty@springer.com