Formal Aspects of Computing
Published in association with ACM Publications. 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.
Joint Editors-in-Chief: Prof. Einar Broch Johnsen and Assoc. Prof. Maurice H. ter Beek
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
Open Access
This journal is published with the support of our BCS FACS group and is free for you to read.
Submissions are welcome on https://mc.manuscriptcentral.com/fac
