It is published with the support of our BCS FACS group.

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.

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

Formal Aspects of Computing

Browse the latest editions and the archive. 

Go to the journal