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